Fix include directory for libcloog-isl