diff -Nurp VirtualBox-5.2.2.orig/src/VBox/Additions/x11/vboxvideo/Makefile.kmk VirtualBox-5.2.2/src/VBox/Additions/x11/vboxvideo/Makefile.kmk
--- VirtualBox-5.2.2.orig/src/VBox/Additions/x11/vboxvideo/Makefile.kmk	2017-11-23 11:16:00.000000000 +0200
+++ VirtualBox-5.2.2/src/VBox/Additions/x11/vboxvideo/Makefile.kmk	2017-11-25 15:53:35.545840731 +0200
@@ -397,7 +397,7 @@ vboxvideo_drv_118_LIBS += $(vboxvideo_dr
 
 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 := \
@@ -406,7 +406,6 @@ ifdef VBOX_USE_SYSTEM_XORG_HEADERS
  vboxvideo_drv_system_INCS += \
         $(PATH_ROOT)/src/VBox/Runtime/include \
         $(VBOX_GRAPHICS_INCS) \
-        /usr/include/x11 \
         /usr/include/xorg \
         /usr/include/pixman-1
  vboxvideo_drv_system_SOURCES := $(vboxvideo_drv_17_SOURCES)