diff --git a/regression/ansi-c/Makefile b/regression/ansi-c/Makefile
index 6812149972..6d00b10abd 100644
--- a/regression/ansi-c/Makefile
+++ b/regression/ansi-c/Makefile
@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c goto-cc
+	@../test.pl -c ../../../src/goto-cc/goto-cc
 
 tests.log: ../test.pl
-	@../test.pl -c goto-cc
+	@../test.pl -c ../../../src/goto-cc/goto-cc
 
 show:
 	@for dir in *; do \
diff --git a/regression/cbmc-cpp/Makefile b/regression/cbmc-cpp/Makefile
index e7e6b2c03e..f40172c17a 100644
--- a/regression/cbmc-cpp/Makefile
+++ b/regression/cbmc-cpp/Makefile
@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c cbmc
+	@../test.pl -c ../../../src/cbmc/cbmc
 
 tests.log: ../test.pl
-	@../test.pl -c cbmc
+	@../test.pl -c ../../../src/cbmc/cbmc
 
 show:
 	@for dir in *; do \
diff --git a/regression/cbmc/Makefile b/regression/cbmc/Makefile
index e7e6b2c03e..f40172c17a 100644
--- a/regression/cbmc/Makefile
+++ b/regression/cbmc/Makefile
@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c cbmc
+	@../test.pl -c ../../../src/cbmc/cbmc
 
 tests.log: ../test.pl
-	@../test.pl -c cbmc
+	@../test.pl -c ../../../src/cbmc/cbmc
 
 show:
 	@for dir in *; do \
diff --git a/regression/cpp/Makefile b/regression/cpp/Makefile
index 6812149972..6d00b10abd 100644
--- a/regression/cpp/Makefile
+++ b/regression/cpp/Makefile
@@ -1,10 +1,10 @@
 default: tests.log
 
 test:
-	@../test.pl -c goto-cc
+	@../test.pl -c ../../../src/goto-cc/goto-cc
 
 tests.log: ../test.pl
-	@../test.pl -c goto-cc
+	@../test.pl -c ../../../src/goto-cc/goto-cc
 
 show:
 	@for dir in *; do \