Related to Dynare/dynare@a5b97a28 that needs to be reverted (manually cherry picked from commit c1b0bb5e)