fix jenkins.sh on linux