x86_32: ld-linux.so.2 libc.so.6 libgmp.so.10
