libgmp.so.3.4.4