Tweaks for jenkins script