Avoid pointer truncation on 64-bit systems