more jenkins stuff :)