more jenkins fixes