Is there any way of increasing the disk space for a Linux guest OS? Or do I have to start all over again? Re-installing, upgrading, building, etc.? Thanks, Rob