[Gretl-devel] catch restrict seems not to work