Index: /trunk/src/VBox/Additions/WINNT/VBoxTray/VBoxDispIf.cpp
===================================================================
--- /trunk/src/VBox/Additions/WINNT/VBoxTray/VBoxDispIf.cpp	(revision 31147)
+++ /trunk/src/VBox/Additions/WINNT/VBoxTray/VBoxDispIf.cpp	(revision 31148)
@@ -19,4 +19,5 @@
 #include <iprt/log.h>
 #include <iprt/err.h>
+#include <iprt/assert.h>
 
 /* display driver interface abstraction for XPDM & WDDM
Index: /trunk/src/VBox/Additions/WINNT/include/VBoxDisplay.h
===================================================================
--- /trunk/src/VBox/Additions/WINNT/include/VBoxDisplay.h	(revision 31147)
+++ /trunk/src/VBox/Additions/WINNT/include/VBoxDisplay.h	(revision 31148)
@@ -16,4 +16,7 @@
 #define __VBoxDisplay_h__
 
+#include <iprt/types.h>
+#include <iprt/assert.h>
+
 #define VBOXESC_SETVISIBLEREGION            0xABCD9001
 #define VBOXESC_ISVRDPACTIVE                0xABCD9002
@@ -22,6 +25,4 @@
 # define VBOXESC_GETVBOXVIDEOCMCMD          0xABCD9004
 # define VBOXESC_DBGPRINT                   0xABCD9005
-
-#include <iprt/assert.h>
 
 typedef struct