properly handle SIGINT / CTRL+C