savedcmd_vboxdrv/vboxdrv.mod := printf '%s\n'   linux/SUPDrv-linux.o SUPDrv.o SUPDrvGip.o SUPDrvSem.o SUPDrvTracer.o SUPLibAll.o common/string/strformatrt.o combined-agnostic1.o combined-agnostic2.o combined-os-specific.o | awk '!x[$$0]++ { print("vboxdrv/"$$0) }' > vboxdrv/vboxdrv.mod