--- xf86-video-vmware-13.0.2/vmwgfx/vmwgfx_overlay.c.orig	2014-11-05 14:52:21.431181914 +0100
+++ xf86-video-vmware-13.0.2/vmwgfx/vmwgfx_overlay.c	2014-11-05 14:52:41.369183417 +0100
@@ -35,6 +35,7 @@
  */
 
 
+#include "xorg-server.h"
 #include "xf86xv.h"
 #include "fourcc.h"
 #define debug_printf(...)