Default to VirtualBox (not to go upstream)