--- VirtualBox-7.0.10/src/VBox/Additions/x11/vboxvideo/Makefile.kmk.orig	2023-08-09 10:04:04.360879536 +0200
+++ VirtualBox-7.0.10/src/VBox/Additions/x11/vboxvideo/Makefile.kmk	2023-08-09 10:04:10.779843512 +0200
@@ -406,7 +406,7 @@
 
 ifdef VBOX_USE_SYSTEM_XORG_HEADERS
  # Build using local X.Org headers.  We assume X.Org Server 1.7 or later.
- DLLS    := $(filter-out vboxvideo_drv_%,$(DLLS)) vboxvideo_drv_system
+ DLLS    := $(filter-out vboxvideo_drv_%,$(DLLS))
  SYSMODS := $(filter-out vboxvideo_drv%,$(SYSMODS))
  vboxvideo_drv_system_TEMPLATE = VBoxGuestR3XOrgMod
  vboxvideo_drv_system_CFLAGS := \