improvements to jenkins script