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