Fix Jenkins configuration