This is just to make CTRL+C handling less confusing. Alternate would be ignoring SIGINT, but this is simpler.