Tweak to jenkins script