Index: /trunk/include/VBox/dbggui.h
===================================================================
--- /trunk/include/VBox/dbggui.h	(revision 12436)
+++ /trunk/include/VBox/dbggui.h	(revision 12437)
@@ -31,4 +31,5 @@
 #define ___VBox_dbggui_h
 
+#include <VBox/types.h>
 #if defined(RT_OS_WINDOWS)
 # include <VirtualBox.h>
@@ -37,5 +38,4 @@
 #endif
 
-#include <VBox/types.h>
 
 __BEGIN_DECLS