Make the default config file configurable