fixed a bug in read_file()
read_file() now actually reports what file it couldn't read