make jenkins-build.sh easy to run on any machine

Make it easy to test this script on any machine.  After turning on "Delete workspace before building" in Jenkins, this builds on my job.