Amend path in jenkins.sh