gmp: remove options
ppl: remove options, clean spec file
glpk: version bump