Don't build C++ extensions for libgmp.