Index: /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA3d-info.cpp
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA3d-info.cpp	(revision 85857)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA-SVGA3d-info.cpp	(revision 85858)
@@ -29,7 +29,6 @@
 #include <iprt/mem.h>
 #include <iprt/path.h>
-#ifdef RT_OS_WINDOWS
-# include <iprt/formats/bmp.h>
-#endif
+
+#include <iprt/formats/bmp.h>
 
 #include <VBox/vmm/pgm.h> /* required by DevVGA.h */
Index: /trunk/src/VBox/Main/src-client/RecordingStream.cpp
===================================================================
--- /trunk/src/VBox/Main/src-client/RecordingStream.cpp	(revision 85857)
+++ /trunk/src/VBox/Main/src-client/RecordingStream.cpp	(revision 85858)
@@ -24,5 +24,5 @@
 #include <iprt/path.h>
 
-#if VBOX_RECORDING_DUMP
+#ifdef VBOX_RECORDING_DUMP
 # include <iprt/formats/bmp.h>
 #endif