Thanks for the bug report. This has actually already been fixed on the mainline of Kerberos and will be included in 1.3. For the future please send any patches you want evaluated for inclusion te krb5-bugs at mit.edu not krbdev at mit.edu.