Re: [Gretl-devel] bug?