Flush stdout

Some problems have been detected due to stdout buffering, might as
well flush it once we have a set of metrics to report.