Fixed a bug where OpenFile() used a wrong hash for unknown files.