- fix compilation when HAVE_LIBGLPK is false