These should be 64-bit, not 32.