Omit gmp on hhvm on Travis because HHVM doesn't have gmp.