Re: [Gretl-users] Linux versions of gretl