Flush on output

Makes sure stuff goes through as soon as possible even when through a
pipe.