Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision ce34152c0e0bef9e757a48daa57360165dee1df7)
+++ Jenkins/TestRegen	(revision caa8f7b02506f5c93e0ced547ffedffc14d6e14d)
@@ -64,5 +64,5 @@
 	//escapes the sandbox
 	//Also specify the compiler by hand
-	sh "./configure CXX=clang++ ${arch} --with-backend-compiler=${gcc-6} --prefix=${install_dir} --enable-silent-rules --quiet"
+	sh "./configure CXX=clang++ ${arch} --with-backend-compiler=gcc-6 --prefix=${install_dir} --enable-silent-rules --quiet"
 
 	//Compile the project