Thanks for sharing, but Google Drive is a pain, as it often fails, especially with big files, meaning a complete restart of the download. I almost got to 2.7 Gb and then it failed. Google Drive is pathetic ... no resume.
Indeed, the developer could offer a split archive (easy to do with most archiving programs, like 7-zip) or find an alternative host for such a big file.
