[Gretl-devel] gretl(cli.exe) has problems removing temp files on Windows