glpk tar needed for extract.sh