Fix bug #12829 with aborts on MS-Windows when several child processes die.