Re: (ITS#5010) broken ber_encode_oid/ber_decode_oid()