Make sure a subprocess running an example is killed on SIGINT