Try to force flushing of stdout