The text 76aa509e4d2e, as Debian 7 (Wheezy) shipped it.
Kerberos configuration file
krb5.conf(5) on Linux now
