Drop use of gmp extension

because hhvm does not support it yet