i think this should be `config_file` as it's more clear and consistent with the server monitor