Upgrade GMP version. Remove now-useless patch