Fix jenkins.sh (again)