diff --git a/lib/asn1/krb5.opt b/lib/asn1/krb5.opt
new file mode 100644
index 000000000..c6fc1bb34
--- /dev/null
+++ b/lib/asn1/krb5.opt
@@ -0,0 +1,6 @@
+--encode-rfc1510-bit-string
+--sequence=KRB5SignedPathPrincipals
+--sequence=AuthorizationData
+--sequence=METHOD-DATA
+--sequence=ETYPE-INFO
+--sequence=ETYPE-INFO2