Fixing jenkins stuff