src/kerberosIV/usr.sbin/kdb_destroy
