Hmmm, very interesting… What filename, exactly, does avast give you when reporting the virus? Is it a file from the .NET framework, or the EXE itself?
And what OS are you using?
Thanks, Vlk