tempo: match C++ formatting of output files