Revert "integer-gmp: improve cross-compiling support GmpDerivedConstants.h"

This reverts commit 860f2fa9a1f1ca4f8d94388723687f90d122ae81.

People reported problems with it on the mailing list, so reverting
until we can figure out the cause.