Catch dead child processes

See discussion in #440

Sure, I can fix.