Revert "ppl:rebuild for glpk"

This reverts commit ed2491c999bafc9ac7395b00dae49e20e3275f64.
Revert "glpk version bump", not possible to build ppl with this version

This reverts commit 5930988041cbd0606c42e14dd0ef5a30d3a97b21.