Index: /trunk/src/VBox/Frontends/VBoxManage/VBoxManageGuestCtrl.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VBoxManage/VBoxManageGuestCtrl.cpp	(revision 35458)
+++ /trunk/src/VBox/Frontends/VBoxManage/VBoxManageGuestCtrl.cpp	(revision 35459)
@@ -42,4 +42,5 @@
 #include <iprt/list.h>
 #include <iprt/path.h>
+#include <iprt/thread.h>
 
 #ifdef USE_XPCOM_QUEUE