Correct file format of tool outputs