diff --git a/src/main/scala/Configuration.scala b/src/main/scala/Configuration.scala
index 0df825e..39a0b78 100644
--- a/src/main/scala/Configuration.scala
+++ b/src/main/scala/Configuration.scala
@@ -8,5 +8,5 @@ object CompilationOptions {
 	type CONVERT_REAL_TO_INT = TRUE
         type USE_MINIMAL_CORE = FALSE
 	val THREAD_NUMBER = 1
-	val Z3_PATH = """tools/Z3/z3.exe""" 
+	val Z3_PATH = """/usr/bin/z3""" 
 }

Add patch for setting the correct Z3 path on Linux
Add patch for setting the correct Z3 path on Linux
