VirtualBox, Eraser, дисковое пространство не используется

Я использовал программу FOSS Eraser для безопасного удаления папки виртуальных машин в виртуальных машинах VirtualBox . Эта папка VM и ее содержимое были 6 ГБ. Все было надежно стерто. Однако при использовании Windows Explorer для проверки свойств моего диска C: как до, так и после использования Eraser, я вижу, что свободное место на диске не увеличилось. Перезагрузка не помогла.

Я также использовал WInDirStat до и после стирания. Эта программа показывает, что папка виртуальных машин VirtualBox была уменьшена на 6 ГБ. Это также показывает, что диск C: уменьшен на 6 ГБ.

Как заставить Windows распознавать и освобождать 6 ГБ дискового пространства? Благодарю.

Win7 x64

Аллилуйя! Я запустил chkdsk, и теперь обнаружилось недостающее дисковое пространство - плюс еще 12 ГБ, которые сегодня не смогли показать еще раньше, плюс некоторые дополнительные, которых я не знал, отсутствовало. В окне «Свойства обозревателя» отображается свободное пространство от 48,0 до 72,1 ГБ. Вот вывод:

C: \ Windows \ system32> CHKDSK
Тип файловой системы - NTFS.
Метка тома - это OSDisk.

ПРЕДУПРЕЖДЕНИЕ! F параметр не указан.
Запуск CHKDSK в режиме только для чтения.

CHKDSK проверяет файлы (этап 1 из 3) ...
  515840 файловых записей обработано.
Проверка файла завершена.
  Обработано 2224 больших файла записей.
  0 плохих файловых записей обработано.
  0 записей EA обработано.
  76 повторных записей обработано.
CHKDSK проверяет индексы (этап 2 из 3) ...
  Обработано 685668 записей индекса.
Проверка индекса завершена.
  Отсканировано 0 неиндексированных файлов.
  0 неиндексированных файлов восстановлено.
CHKDSK проверяет дескрипторы безопасности (этап 3 из 3) ...
  515840 файлов SD / SID обработано.
Проверка дескриптора безопасности завершена.
  Обработано 84915 файлов данных.
CHKDSK проверяет журнал Usn ...
  33853112 байтов USN обработано.
Usn Journal проверка завершена.
Windows проверила файловую систему и не обнаружила проблем.

 298231807 КБ всего дискового пространства.
 249610712 КБ в 379308 файлах.
    227880 КБ в 84916 индексах.
         0 кб в плохих секторах.
   1082283 КБ используется системой.
     65536 КБ занято файлом журнала.
  47310932 КБ доступно на диске.

  4096 байт в каждой единице выделения.
  74557951 общее количество выделенных единиц на диске.
  11827733 единицы размещения доступны на диске.

C: \ Windows \ system32>

Это отвечает на вопрос, как исправить. Тем не менее, кажется странным, что в отчете все 47310932 KB available on disk.же посмотрим на это: OSDisk (C :) Свойства, которые теперь после chkdsk наконец-то показывают 77 гигабайт байт свободного места. Может быть, кто-то может объяснить, почему chkdsk явно не знает, что освободило место на диске.