Switch from SHA1 to SHA512