this config file isn't changed by the user