On a 32-bit system, a 64-bit value need only be aligned to 32 bits, not 64.
Change the code to reflect that.