Make SIGINT handling less ugly