DynareTeam/dynare — pull request #794 by JohannesPfeifer (2014-11-22 07:36:16+00:00)
Title: Cherry-pick 4.4

Cherry pick last bugfixes from mater