Killing child processes

On some systems PHP will spawn child processes, but these are not closed by proc_terminate due to a 8 year old bug in PHP (https://bugs.php.net/bug.php?id=39992)