php4: add compatibility fix for gmp