Related to Dynare/dynare@a5b97a28 that needs to be reverted

(manually cherry picked from commit c1b0bb5e)