Deal with difference in standard output formats between Mac and Ubuntu