diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh
index ca7339ff0..f0e27088b 100755
--- a/tests/aiger/run-test.sh
+++ b/tests/aiger/run-test.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+source ../common-env.sh
 
 set -e
 
diff --git a/tests/alumacc/run-test.sh b/tests/alumacc/run-test.sh
index e9698386e..2e3f5235c 100644
--- a/tests/alumacc/run-test.sh
+++ b/tests/alumacc/run-test.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+source ../common-env.sh
 set -e
 for x in *.ys; do
   echo "Running $x.."
diff --git a/tests/memories/run-test.sh b/tests/memories/run-test.sh
index 4f1da7ce7..8f83e11a1 100755
--- a/tests/memories/run-test.sh
+++ b/tests/memories/run-test.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+source ../common-env.sh
 
 set -e