barvinok/polylib.h: remove compatibility with older versions of PolyLib