tweaking the jenkins setup