BUG: more jenkins stuff