Hmm, I’m puzzled by what you say. His setup worked perfectly well with Avast 4.1. He’s changed nothing in his setup except downloaded a newer version of Avast. How can you say it’s not an Avast problem?
I can’t say yet if the latest beta is the answer to the problem. If and when he gets the chance to try that, I’ll post back here.