Fix "cast from pointer to integer of different size" warnings on a 64-bit machine.