contrib/jenkins.sh: ugly work-around for PATH problems

For details see https://osmocom.org/issues/4911

Related: OS#4911
Change-Id: I04e9c29813f6695d0d53f7cdede34f83d24ea3fd
1 file changed