-lrwxrwxrwx root/root usr/lib/libgmpxx.so -> libgmpxx.so.4.0.4
-lrwxrwxrwx root/root usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.0.4
--rwxr-xr-x root/root usr/lib/libgmpxx.so.4.0.4
+lrwxrwxrwx root/root usr/lib/libgmpxx.so -> libgmpxx.so.4.1.2
+lrwxrwxrwx root/root usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.1.2
+-rwxr-xr-x root/root usr/lib/libgmpxx.so.4.1.2