Hi, Adam. I submitted https://github.com/krb5/krb5/pull/418 yesterday to address this issue in a simpler way. Can you see if that change works for you? Thanks again for reporting this.