It sounds like this would break the ABI for programs developed against the krb4 library shipped in the krb5 source tree. While we may end up breaking that ABI when we do the merge, doing so this late in the 1.3 release cycle seems wrong.