Fix bug where pointers were assumed to always be 64 bits in size!