Investigate whether commmit 3c7e60b7 really fixes a bug

See the discussion at https://github.com/DynareTeam/dynare/commit/3c7e60b744567f6f39a9c611bce6dcaadcd52bc6