Does the GPL allow redistribution of deriviate works under
a license with a "rename if certain changes are made" clause?
No, it does not. However, it might be worth while for us to
make a specific exception to permit linking GMP with that code.
The benefits could be great, and the situation is so special
that people will not take it as setting a precedent.