Tweak jenkins script to be less ambitious