gmp [library] version numbers

[Hugh Sasse]

Building gmp-4.1.2 I end up with 

-rwxr-xr-x   1 root     other     268825 Jan  8 18:47 /usr/local/lib/libgmp.so.3.4.1
lrwxrwxrwx   1 root     other         15 Jan  8 18:47 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.4.1
lrwxrwxrwx   1 root     other         15 Jan  8 18:47 /usr/local/lib/libgmp.so -> libgmp.so.3.4.1
-rwxr-xr-x   1 root     other        783 Jan  8 18:47 /usr/local/lib/libgmp.la
-rw-r--r--   1 root     other     530424 Jan  8 18:47 /usr/local/lib/libgmp.a
-rwxr-xr-x   1 root     other      20984 Jan  8 18:47 /usr/local/lib/libgmpxx.so.3.1.1
lrwxrwxrwx   1 root     other         17 Jan  8 18:47 /usr/local/lib/libgmpxx.so.3 -> libgmpxx.so.3.1.1
lrwxrwxrwx   1 root     other         17 Jan  8 18:47 /usr/local/lib/libgmpxx.so -> libgmpxx.so.3.1.1
-rwxr-xr-x   1 root     other       1213 Jan  8 18:47 /usr/local/lib/libgmpxx.la
-rw-r--r--   1 root     other      28260 Jan  8 18:47 /usr/local/lib/libgmpxx.a

The main web page for gmp has:
<quote>
Additional issues with GMP 4.2:

    * The solib numbers for the shared version of libgmp and libgmpxx are very wrong, making it appear older than version 4.1.4. 
</quote>

This may be why guile is complaining about not having 4.1 or greater
(but I can't understand what configure is actually checking here).
What is the fix for this?  Can I just rename libgmpxx.so* or are other
things being set incorrectly within the libraries?

If it is a simple rename, could this be added to the web page, please?
There's too much indirection for me to be able to see why the Makefile
is generating these numbers, so at the moment I can't patch anything.

        Thank you,
        Hugh