Looks like a false positive, since all the main tools are showing the file as OKhttps://www.virustotal.com/gui/file/ba4731c72c5cf1190151070948dde21cd4b8e398915a...
