Fixed in krb5-1.4.