adds buffered output, which flushes on SIGINT