Implemented a workaround for the bash-process-not-killing-its-children problem.
Not very pretty, but what can we do?