x86_64: GMP.so
