If possible, please test the patch at https://github.com/krb5/krb5/pull/272 in the environment where the bug 
manifests.