Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision da9a27cd637fa895351e43051a121e8a2eb9bc94)
+++ Jenkinsfile	(revision c09ae73d45b4421472135a8a3636eee05a75252b)
@@ -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',								\
 				],												\