Use 64-bit system types for x86-64