run_jenkins_sigmund.sh now has one parameter