krb5_get_default_config_files() never yields an empty list if it 
returns successfully, so I don't think this is a bug.