Work around 32-bit platform alignment of int64.