OCaml backend: stop process in run_proc