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