Fix handling terminated processes.

The old code did not handle processes being terminated by signals right,
and basically waitpid() on them a second time, receiving ECHILD. This
didn't cause any real bugs, but was nevertheless incorrect.