Q: Are you sure that these files aren't infected?
A: Yes. The autobuilds on this page are built on Linux, so it isn't even possible for the machine to be infected with a Windows virus.
Q: Why can't you just fix this problem?
A: Even if we were to waste time trying to figure out the reason for these false matches and hack together a fix, the same problem could easily come back when the signature tables are updated. So it would be a continual process of fighting with garbage antivirus products to try to convince them that the files are safe. This is a huge frustrating waste of time that would be better spent improving Choco and Crispy.