That's a typical false-positive detection. That happen often after new releases - the files are new and unknown and so some Anti-virus softwares tends to better report something than nothing...
Ok Klaus, Thanks for this explanation. I'm much reassured now and we know now about this false alert. Thanks also for this whole wonderful job together with your team.