more jenkins stuff