bugfix: proc.cmdline was not printing a space between the command name and the arguments