fixing Jenkins job script