/* Simple routine to roll all the commandline arguments together with spaces between them.  */
static void concat(char *dst, char *args[])
/* Simple routine to roll all the commandline arguments together with spaces between them.  */
static void concat(char *dst, char *args[])
{
	unsigned int i, len = 0;
	for (i = 0; args[i]; i++) {
		if (i) {
			strcat(dst+len, " ");
			len++;
		}
		strcpy(dst+len, args[i]);
		len += strlen(args[i]);
	}
	dst[len] = '\0';
}