tweaked jenkins script.