x86_x32: libc.so.6 libgmp.so.10 libtommath.so.1
