anyhow, I think we just need a more robust SIGINT handler