(read_escape): Use end_of_file_error for reporting eof.