resolves #1393: kill children with more effort on SIGINT
Merge pull request #1401 from boneskull/issue/1393

resolves #1393: kill children with more effort on SIGINT