64-bit pointer precision loss fix

Compilation now succeeds on x64 Arch Linux.