Flushes stdout