tweak jenkins script