Adding some stuff for Jenkins