Switch to different ASN.1 library