Switch to sjcl for SHA512.