Re: [DynareDev] [Trac] #139: Rename "cygwin" option in "mingw"