Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c886f4bfea0c0fb9cc84145c2f0dbbb2ba16b6ab)
+++ Jenkinsfile	(revision 70ead46a6cdaec10376ca4539d77800235bdc53c)
@@ -126,5 +126,5 @@
 			}
 
-			sh "${SrcDir}/configure CXX=${Settings.Compiler.CXX} CC=${Settings.Compiler.CC} ${Settings.Architecture.flags} ${targets} --quiet"
+			sh "${SrcDir}/configure CXX=${Settings.Compiler.CXX} CC=${Settings.Compiler.CC} ${Settings.Architecture.flags} AR=gcc-ar RANLIB=gcc-ranlib CXXFLAGS='-fto=auto' ${targets} --quiet"
 
 			// Configure libcfa