Flushing stdout so I can see things when teed to a file
More sensible option name