Re: [Gretl-users] Problem with gretl console