Fix encoding error in exporttool.