Fix Jenkins version reporting?