libgmp.so.3 solution