Add fix for 32-bit linux, where 64-bit type is 32-bit aligned