fix jenkins.sh