Fix compilation on 32bit platforms