Added a workaround for a bug in GMP configure script.

* gmp/jamfile: Added a workaround for a bug in GMP configure script.