isl_constraint.c: add missing include