fix jenkins script