Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision 7d128cb8cbeac82980aa4940266ee24f83f0ba23)
+++ Jenkins/TestRegen	(revision 5ba1356f6794e2949f1c46e02592c5668f7f27d9)
@@ -74,5 +74,5 @@
 	//escapes the sandbox
 	//Also specify the compiler by hand
-	sh "./configure CXX=clang++ CC=gcc-6 --host=${arch} --enable-silent-rules --quiet"
+	sh "./configure CXX=clang++ CC=gcc --host=${arch} --enable-silent-rules --quiet"
 
 	//Compile the project