Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 13d2dacf5c90156542e275ae9391bbaba5f9e387)
+++ 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