[Gretl-users] Windows filename encoding problems