Switch from SHA1 to SHA512

Resolves issue #9