Re: have I scanned the file with other virus detection systems:
Yes - I scanned with AVG and did an on-line scan at
http://housecall.trendmicro.com/
Neither of these reported any infections.