I'll have a look and see if there is somewhere to report a false positive, but its
not obvious where to do it at this stage.
as to the virus scans, I found a great site, virustotal.com, where you can upload
your suspect file and it will scan it through all the engines for you. Apparently it is
owned by google, but I haven't verified this.