Fixing up jenkins script