Fix broken jenkins.sh