Use a buffered writer for stdout