x86_64: libc.so libgmp.so.10 libmpfr.so.6 libreadline.so.8
