The text 9593cc938f7b, as Debian 5.0 (Lenny) shipped it.
checks krb5.conf for obvious errors
verify_krb5_conf(8) on Linux now
