Bugfix in DynareMain.cc