configure fix for building with glpk on redhat, perhaps others