Actually, it still does not work. In the meantime, I worked out how to
disable the config test for libgmp, which enabled me to discover in
addition that although the CCFLAGS variable is given to the C compiler
when building C files, it is not given to the C compiler when linking
those object files together.