tweak .jenkins_script