Update .jenkins-build.sh