64-bit: more pointer precision loss fixes.

Compilation now succeeds on x64 Arch Linux.