The text 67cdb6ce0c4d, as Debian 4.0 (Etch) shipped it.
checks krb5.conf for obvious errors
verify_krb5_conf(8) on Linux now