wget https://ftp.gnu.org/gnu/libxmi/libxmi-1.2.tar.gz || wget https://ftpmirror.gnu.org/libxmi/libxmi-1.2.tar.gz