--- a/tool/globals.h	Tue Jul 22 09:03:10 2008 +0000
+++ b/tool/globals.h	Tue Jul 22 11:38:21 2008 +0000
@@ -21,7 +21,7 @@
     Verbose
 };
 
-extern string command;
+extern string commandName;
 extern int slavePosition;
 extern int domainIndex;
 extern vector<string> commandArgs;