Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 5b544a6a33b882680dc245c678d32ddb6742f4a2)
+++ Jenkinsfile	(revision 6565321f006635d534961956dec06f0226a0fc3f)
@@ -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='-flto=auto' CFAFLAGS='-flto=auto' ${targets} --quiet"
 
 			// Configure libcfa