Utilities related to VirtualBox