Added flushing by SIGINT.