resolves #1393: kill children with more effort on SIGINT

This "works".  I don't know if it's being evil, though.