Index: tools/jenkins/setup.sh.in
===================================================================
--- tools/jenkins/setup.sh.in	(revision dd2e0844f350ba633ca5c15d9d940c08870e3d13)
+++ tools/jenkins/setup.sh.in	(revision 418d31ac9d62c46c04edf3549bc064ef9ba5e0a3)
@@ -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]})