You may have better responses in the Virus and ... since the files are in the virus vault, they can't be used by the OS or the virus/pest.

To empty the vault is to open the vault (you see the vaults) select one and press delete or some button. Sorry but I won't supply a step by step. It's intuitive and you should try it.

Bob