flush stdout, so that changes can be observed in real-time while piping to a file