Tweak jenkins script