do not use --enable-dl on glpk to simplify build in some environments,
e.g. DICE