デフラグ後に肥大化したvhdファイルはどうすればいいの？