Make ASN1 code work again...