The default file for krb5_key_file is missing from the auditd.conf(5) manual