[Gretl-devel] Re: Opening gretl script file in Windows via file manager fails