read_file now throws exception upon failure to read.