libgmp.so.10.5.0