tweak jenkins_runBench