libgmpxxv4.so.4.5.0