Small changes for the new jenkins