Should be compilable without libglpk again