fix OID DER_encoding in EC groups (HEAD/1_11)