swiglpk >= 1.3.3
