The text edf7d93fca38, as Debian 3.1 (Sarge) shipped it.
lookup Kerberos KDC hosts
krb5_krbhst_format_string(3) on Linux now
