Fix Jenkins version detection