Fixes compilation on 32-bit machines