That's pretty much what I assumed to be honest and I think it's important to have these FAQ's come up within the thread every time this happens. If you where not the direct developer of the game I'd even assume that there's a possibility for an actual virus, same thing by the way if this wasn't a project that's been in development for over a year.Some additional information on this issue.
You must be registered to see the links
You can submit the two files to Avast on their website and report a false positive. They will do a complete analysis on the files (not just look for matching signatures) and update their whitelist for you.
Oh and just as a TLDR for people not wanting to read that link themselves : The game posted by the Developer themselves is unlikely to contain a Virus given how this would harm the bottomline of the Developer themselves who is not just making more money with Patreon and Subscribestar but also therefor financially attackable if the Authorities where to investigate them for spreading a virus. So it's pretty much guaranteed to be a false positive from the Antivirus misinterpreting the code.
Anyway just FYI my original post here was to point out that Avast also did flag that game with a Virus, personally I usually just wait until the next version or a couple of days until I try downloading again and see wether the AV still flags the game or not. And honestly if I'd checked before that I downloaded from a link posted by the developer themself and not just some moderator/fan uploading it, I wouldn't even have posted here...