x86_32: libc.so.6 libgmp.so.10 x86_64: libc.so.6 libgmp.so.10
