This is the Debian build directory for the VirtualBox-OSE version.