amd64 elibc_glibc gmp kernel_linux
