Have you done a reboot, since deleting the deleted files?

Peter.