Fix jenkins script