Re: [PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'