hace poco tube un problema similar con un ejecutable que se me colo en la carpeta Temporal. Mi antivirus BitDefender lo detectaba pero no podia ni desinfectar el archivo (esto es normal, puesto que el archivo es el propio virus), ni moverlo a cuarentena (raro), ni borrarlo (la madre que le ...) pero si bloquearle para evitar su ejecucion (menos mal).
Le intente borrar de muchas formas pero nada funcionava, al final abri mi antivirus, me fui a la seccion cuarentena y desde ahi, añadi el archivo (virus) y le dije que le eliminase - Funciono - .
No se que antivirus tienes, pero todos suelen tener la seccion cuarentena. Intentalo de este modo.
Formatear, siempre lo ultimo, y menos por tan solo un par de virus. estoy totalmente seguro que todos tenemos un par de virus, aqui o alla, lo que no quiere decir que estemos infectados, puesto que para eso el virus debe ser ejecutado.
No nos emparanoiemos por un par de virus, nos debemos acostumbrar a convivir con ellos.
Ni Linux se salva, espeo no levantar polemica con esto, lo que quiero decir que si cada vez que pasa algo formateamos, llegara el momento en el que el remedio sera peor.
Suerte y a musiquear...