isl_space.c: add missing include