Flush stdout so we do not wait for the buffer