/usr/lib64/libgmp.so.10 /usr/lib64/libgmp.so.10.5.0