Re: [DynareDev] [Trac] #258: Make flexible the location of user configuration file with global options