update gmp to version 5.1.1 -- (we don't actually use it)