Hm, seems to be a “wrong” Virusname. What is the exact one? But anyway he should be able to delete the Virus in Safemode, IMO he should use Kaspersky for that.