see https://github.com/krb5/krb5/commit/ebfd96a98ccb8f7df042cadbeefa00ee4761b9fa