That is.
The antivirus becomes defensive against the .exe, but the executables are actually clean. I can confirm it, and so can the people who have already enjoyed it on Windows.
In any case, thank you very much for reporting this matter, as it may create doubts for many users.
Cheers and thank you again!