Patch from Tim Kosse to fix 64-bit-cleanness in SHA-512.