specify input encoding