sed -i -e '1iKBUILD_EXTMOD=${srctree}/ubuntu/vbox' $make
done
+# We're now using the vboxvideo module in drivers/staging, so disable
+# the version that was imported.
+sed -i -e 's: vboxvideo/::' vbox/Makefile
+
+# Reduce the version of the in-kernel module just slightly so it
+# will not clash with the dkms package.
+for version in vbox/*/version-generated.h
+do
+ sed -i -e 's/_Ubuntu"/_KernelUbuntu"/' $version
+done
+
# Record the version number and nominal source.
{
echo "Source: http://ports.ubuntu.com/pool/multiverse/v/virtualbox/virtualbox-guest-dkms_${ver}_all.deb"