[Gretl-devel] memory leak