Switch 32-bit platforms to using 64-bit "pointers"