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