Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision dcf1979e45c41e88b207d2bab3d2cca8bc5a10d8)
+++ Jenkinsfile	(revision 2ff78aaef345296b17e6dbe4ee5576d18fd0256f)
@@ -102,9 +102,4 @@
 
 		echo GitLogMessage()
-
-		// This is a complete hack but it solves problems with automake thinking it needs to regenerate makefiles
-		// We fudged automake/missing to handle that but automake stills bakes prints inside the makefiles
-		// and these cause more problems.
-		sh 'find . -name Makefile.in -exec touch {} +'
 	}
 }
@@ -465,5 +460,5 @@
 					description: 'Which compiler to use',					\
 					name: 'Compiler',									\
-					choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',					\
+					choices: 'gcc-9\ngcc-8\ngcc-7\ngcc-6\ngcc-5\ngcc-4.9\nclang',	\
 					defaultValue: 'gcc-8',								\
 				],												\