[Gretl-users] download a zip archive via script?