Fix jenkins (for real)