How to set the codec for reading ASCII file?