Added more details to the comment regarding issues handling SIGINT sent by Ctrl-c.