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.