Perhaps, although I'll note that the krb5 maintainers are unaware of what's exactly going on in 764669. So, feel free to merge, but if you actually have an idea of the problem, please enlighten us, as we don't see that behavior at all. --Sam