Fix settings path in jenkins.sh.