I have that other file,too. Will try to install that.
As for using NOD32, I've always used it as it was the only AV that would work
WITHOUT Internet Exploder originally. It's small, fast and been really
dependable.
I've never upgraded IE on any computer. I hate it. Haven't used it since version
4. It's forbidden (hopefully) by the firewall to call out. I'm glad Ubuntu
gives me a choice.