Make kill_process_tree robust on Mac OS X: fixes 924