link libgmpxx.so.4.6.1