VirtualBoxのVDIファイルサイズをコンパクトにするには？