glpk: rebuild unused