virtualbox-module: tweak the build.