fix jenkins.sh script