Fix compilation on 32-bit