Issue #178 c-code regenerated with php-gmp