fix jenkins script
;