Create a different default for Jenkins.