===> Cleaning for glpk-5.0