--- orig/source/c_runcmd.c	2008-05-08 09:18:48.000000000 +0100
+++ source/c_runcmd.c	2009-01-13 00:08:52.000000000 +0000
@@ -112,8 +112,13 @@
       }
       
       // add char to line
-      sprintf(cmdtokens[numtokens-1], "%s%c",
-         cmdtokens[numtokens-1], *rover);
+      {
+	 char *p = cmdtokens[numtokens - 1];
+	 p += strlen(p);
+	 *p = *rover;
+	 ++p;
+	 *p = '\0';
+      }
       rover++;
    }
 }