arm_32: libgmp.so.10
