change exception type of read_file()