Okay, I just tried that and everything is working fine.
Avast! updated the virus database on startup, so I suspect it may have failed last time and left those files behind.
Mystery solved
Thanks for your help.