Sorry for the lack of communication which led to duplicate work; I had hoped to resolve this faster. https://github.com/krb5/krb5/pull/138 is the expected fix; I just need to do a little manual testing on it.