wget https://ftp.gnu.org/gnu/dejagnu/dejagnu-1.6.2.tar.gz || wget https://ftpmirror.gnu.org/dejagnu/dejagnu-1.6.2.tar.gz