wget https://github.com/MiniZinc/libminizinc/archive/2.2.3.tar.gz