sane way to specify configuration file