Re: [Gretl-devel] bug: gretl fails to open session