with_process: allow the user to keep stdout/stderr files, and to specify their names.