wget https://ftp.gnu.org/gnu/readline/readline-8.0.tar.gz || wget https://ftpmirror.gnu.org/readline/readline-8.0.tar.gz