Switch to a public domain sha512 implementation