Fix hmac_sha512 to return correct results