Add the bits needed by jenkins