The text 825abf2f79df, as Debian 3.1 (Sarge) shipped it.
checks krb5.conf for obvious errors
verify_krb5_conf(8) on Linux now
