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

Revert, because we don't overwrite PATH anymore. This reverts commit
5ab3bfdba4de2af32aeffdc92de963cb34c9715a.

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