Fix Jenkins, hopefully this is last one