shell: update the process execution
(The standard library has changed).