more goodies for jenkins reports