Improve handling of end of file in the bitcode reader.