64-bit: more pointer arithmetic workarounds