Index: /trunk/src/VBox/Frontends/VBoxManage/VBoxManageCloud.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VBoxManage/VBoxManageCloud.cpp	(revision 84639)
+++ /trunk/src/VBox/Frontends/VBoxManage/VBoxManageCloud.cpp	(revision 84640)
@@ -28,4 +28,5 @@
 #include <iprt/stream.h>
 #include <iprt/string.h>
+#include <iprt/thread.h>
 #include <iprt/uuid.h>
 #include <iprt/file.h>
@@ -2368,5 +2369,5 @@
     unsigned i = 0;
     const char progressChars[] = { '|', '/', '-', '\\'};
-    MachineState machineState;
+    MachineState_T machineState;
     uint64_t u64Started = RTTimeMilliTS();
     do