fix for jenkins.sh