Index: /trunk/src/VBox/Frontends/VirtualBox/src/VBoxFBOverlay.h
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/VBoxFBOverlay.h	(revision 39815)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/VBoxFBOverlay.h	(revision 39816)
@@ -39,4 +39,8 @@
 #ifdef DEBUG_misha
 # define VBOXVHWA_PROFILE_FPS
+#endif
+
+#ifdef VBOXVHWA_PROFILE_FPS
+# include <iprt/stream.h>
 #endif
 
@@ -1565,5 +1569,5 @@
             if(!(mFPSCounter.frames() % 31))
             {
-                printf("fps: %f\n", fps);
+                RTPrintf("fps: %f\n", fps);
             }
             mbNewFrame = false;
Index: /trunk/src/VBox/Frontends/VirtualBox/src/VBoxFBOverlayCommon.h
===================================================================
--- /trunk/src/VBox/Frontends/VirtualBox/src/VBoxFBOverlayCommon.h	(revision 39815)
+++ /trunk/src/VBox/Frontends/VirtualBox/src/VBoxFBOverlayCommon.h	(revision 39816)
@@ -19,5 +19,5 @@
 #define __VBoxFBOverlayCommon_h__
 
-#if defined(DEBUG_misha)
+#if 0 //defined(DEBUG_misha)
 DECLINLINE(VOID) vboxDbgPrintF(LPCSTR szString, ...)
 {