fix iOS output file format