closes dynare#1708
mentioned in commit b1905dd5
mentioned in commit a3fb2b12
mentioned in commit b87cfff2