mention ubuntu glpk package