flush-stdout.patch 580 Bytes