fixed long ago; guessing it was around krb5-1.1 or so.