Update patch to more recent jenkins conf