             (if (string-match fstar--ps-line-regexp line)
                 (list (string-to-number (match-string 1 line))
                       (string-to-number (match-string 2 line))
-                      (match-string 3 line)
-                      (match-string 4 line))
+                      (match-string 3 line))
               (error "Unexpected line in PS output: %S" line)))
-          (cdr (process-lines "ps" "-ax" "-o" "pid,ppid,comm,args"))))
+          (cdr (process-lines "ps" "-axww" "-o" "pid,ppid,comm"))))
 
 (defun fstar--elisp-process-attributes (pid)
   "Get attributes of process PID, or nil."

    (when attrs
      (list pid
            (cdr (assq 'ppid attrs))
            (cdr (assq 'comm attrs))
            (cdr (assq 'args attrs))))))

(defun fstar--elisp-processes ()
  "Collect all running processes using `system-processes'.

      (fstar-subp-kill))))

(defconst fstar--ps-line-regexp
  "^ *\\([0-9]+\\) +\\([0-9]+\\) \\(.+\\) *$")

(defun fstar--ps-processes ()
  "Collect all running processes using `ps'.
