SDK for VirtualBox, for use as a submodule