linux: don't buffer stdout (and fix whitespace)