Re: [Gretl-users] gretl speed + windows