<URL: https://krbdev.mit.edu/rt/Ticket/Display.html?id=9195 > I filed https://github.com/krb5/krb5/pull/1481 . It has some changes from your patch, so it might be worth testing whether it still fixes the problems.