diff --git a/.gitignore b/.gitignore
index 7ba5bd92..1ad84c2b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,8 @@
 *.bc
 *.jar
 *.o
+*.exe
+*.dot
 .idea
 .metals
 .vscode
@@ -14,6 +16,7 @@ klee-out-*
 gs_gen
 output
 benchmarks/**/*.ll
+benchmarks/**/*.wat.cpp
 .bloop
 project/project
 project/metals.sbt
diff --git a/src/test/scala/genwasym/CppCompilationTestBase.scala b/src/test/scala/genwasym/CppCompilationTestBase.scala
index 61d34a70..8211bab2 100644
--- a/src/test/scala/genwasym/CppCompilationTestBase.scala
+++ b/src/test/scala/genwasym/CppCompilationTestBase.scala
@@ -14,6 +14,7 @@ abstract class CppCompilationTestBase extends FunSuite {
     val fromRepo = firstExistingDir(
       Seq(
         "./third-party/z3/build/z3_install/include",
+        "./third-party/z3/build/z3_install/usr/local/include",
         "./third-party/z3/src/api/c++"
       )
     )
@@ -26,7 +27,7 @@ abstract class CppCompilationTestBase extends FunSuite {
 
   protected lazy val z3LibDir: String = {
     val fromEnv = sys.env.get("Z3_LIB_DIR")
-    val fromRepo = firstExistingDir(Seq("./third-party/z3/build/z3_install/lib"))
+    val fromRepo = firstExistingDir(Seq("./third-party/z3/build/z3_install/lib", "./third-party/z3/build/z3_install/usr/local/lib"))
     fromEnv.orElse(fromRepo).getOrElse {
       throw new RuntimeException(
         "Cannot locate Z3 library directory. Set Z3_LIB_DIR or build third-party/z3."