       (fstar-subp-kill))))
 
 (defconst fstar--ps-line-regexp
-  "^ *\\([0-9]+\\) +\\([0-9]+\\) +\\([^ ]+\\) +\\(.+\\) *$")
+  "^ *\\([0-9]+\\) +\\([0-9]+\\) \\(.+\\) *$")
 
 (defun fstar--ps-processes ()
   "Collect all running processes using `ps'.

            (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))
              (error "Unexpected line in PS output: %S" line)))
          (cdr (process-lines "ps" "-ax" "-o" "pid,ppid,comm,args"))))

(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))))))

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