Read config file name from --config, default to dev.cfg