Saving disk space using VirtualBox in Linux