normal exit at SIGINT