See also https://github.com/krb5/krb5/pull/55
and
https://github.com/krb5/krb5/issues/53