Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision 7d128cb8cbeac82980aa4940266ee24f83f0ba23)
+++ Jenkins/TestRegen	(revision cbedb32f4afd79dcef0f5ce4447fe080d6fc4c3a)
@@ -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