Updated gmp patch. Fixes #558