diff --git a/3rdparty/Makefile.inc b/3rdparty/Makefile.inc
index 757bd5f..51080b7 100755
--- a/3rdparty/Makefile.inc
+++ b/3rdparty/Makefile.inc
@@ -1 +1,2 @@
-include ../3rdparty/everest/Makefile.inc
\ No newline at end of file
+include ../3rdparty/everest/Makefile.inc
+
diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc
old mode 100755
new mode 100644
index 0b71e2a..7ca70ec
--- a/3rdparty/everest/Makefile.inc
+++ b/3rdparty/everest/Makefile.inc
@@ -16,3 +16,4 @@
 	../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o
 endif
 endif
+