diff --git a/Makefile b/Makefile
index 877e69e52..f8bd79d5a 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ all:
 	make install
 	make riscof	
 	make testfloat
-	make verify
+#	make verify
 	make coverage
 	make benchmarks
 
diff --git a/benchmarks/coremark/coremark_sweep.py b/benchmarks/coremark/coremark_sweep.py
old mode 100644
new mode 100755
index 162bbd88a..e1b6c6573
--- a/benchmarks/coremark/coremark_sweep.py
+++ b/benchmarks/coremark/coremark_sweep.py
@@ -1,3 +1,4 @@
+#!/usr/bin/python 
 ##################################################
 ## coremark_sweep.py