Index: VBoxManageInfo.cpp
===================================================================
--- VBoxManageInfo.cpp	(revision 23073)
+++ VBoxManageInfo.cpp	(working copy)
@@ -407,10 +407,14 @@
     RTTimeSpecSetMilli(&timeSpec, stateSince);
     char pszTime[30] = {0};
     RTTimeSpecToString(&timeSpec, pszTime, sizeof(pszTime));
+    Bstr stateFile;
+    machine->COMGETTER(StateFilePath)(stateFile.asOutParam());
     if (details == VMINFO_MACHINEREADABLE)
     {
         RTPrintf("VMState=\"%s\"\n", pszState);
         RTPrintf("VMStateChangeTime=\"%s\"\n", pszTime);
+        if (!stateFile.isEmpty())
+            RTPrintf("VMStateFile=\"%lS\"\n", stateFile.raw());
     }
     else
         RTPrintf("State:           %s (since %s)\n", pszState, pszTime);