krb5_set_config_files
if (krb5_set_config_files(bsd_context, filenames))
krb5_error_code krb5_set_config_files