libgmpxx was built against libstdc++, so if the application uses e.g. libc++, linking fails because of the standard symbols mismatch.
And fix errors compiling with that type.