[Gretl-users] Re: mix-up with addons for Windows and Mac