Did you use full system scan or manual scan (right click on file, and choose scan from Windows explorer)? If you don't mind, could you let us know the file name and file size, so that we can check on our side?