Patch to "stdout" bug in VMManagerServer.py