Fix compilation on 64-bit platforms