amd64 elibc_glibc kernel_linux mpfr readline
