Re: [Gretl-devel] new version, old (?) bug