Core: properly handle Ctrl-C