Added function to convert non-ASCII characters in read_file.inc