Minor jenkins.sh adjustments