/usr/lib64/libgmp.so.10.2.0 libc.so.6
