tweaking jenkins script