usr/lib/libgmp.so.3
usr/lib/libgmp.so.3.5.2
