Fix settings for Jenkins