Thanks. I will not request a backport for now. If the "latest
development versions of Ubuntu" means this will be solved in the
oncoming LTS 16.04, then once I upgrade there should be no problem.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to
Thank you for taking the time to report this bug and helping to make
Ubuntu better. However, I am closing it because the bug actually has
been fixed already in the dynare package version 4.4.2-2 and newer in
the latest development versions of Ubuntu.
As you have documented here, the workaround for
