I’d be amazed if it was anything other than a false positive. I know very little about this topic. Probably flagging up the fact they’re named a certain way - such as “swarm” and “control” or such. Plenty of people are downloading the same dev kit, and presumably, their virus software is not flagging this as an issue. I’d not worry much about this, assuming you are getting it from the official, reliable source.