remove gmp extension to allow compilation on Heroku