Re: [Gretl-users] Is Gretl portable?