Index: tools/jenkins/setup.sh.in
===================================================================
--- tools/jenkins/setup.sh.in	(revision d00ce99de3cc99e60bc5aa6b7441b9d849a285ad)
+++ tools/jenkins/setup.sh.in	(revision a39a289ef9d67bed98bfa010ca41c4760bc614a3)
@@ -48,5 +48,5 @@
 		regex1='/([[:alpha:][:digit:]@/_.-]+)'
 		regex2='(libcfa[[:alpha:][:digit:].]+) => not found'
-		regex3='linux-vdso.so.1'
+		regex3='linux-vdso.so.1|linux-gate.so.1'
 		if [[ $line =~ $regex1 ]]; then
 			retsysdeps+=(${BASH_REMATCH[1]})