Fix PHP's GMP problems on 32-bit Linux.