some more jenkins stuff