A light-weighted VirtualBox virtual machine manager