gmp

[Henry Cejtin]

Strange about the warnings unless it is caused by actual incompatibilities
in the versions of the library (with the incompatibility showing up in changes
in the gmp.h include file).