link against libgmp.so.3 instead of libgmp.so.3.5.2