x86_64: libgmp.so.10 libgmpxx.so.4 x86_x32: libgmp.so.10 libgmpxx.so.4
