specify input file encoding