I created https://github.com/krb5/krb5/pull/267 for this patch.