Bug 13241: incorrect SHA512 hashes

Generate SHA512 hashes of the mar file contents rather than
of the file path.