-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.2.5
+lrwxrwxrwx root/root usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.2.5
+-rwxr-xr-x root/root usr/lib/libgmpxx.so.4.2.5