Change some stuff for Jenkins