[Gretl-devel] Re: $sysinfo.os vs. $windows (and Mac?)