tests/krb5: Fix ASN.1 source