Add VirtualBox to developer_tools manifest