Note: The gcc of the recent opensde toolchain should be build with cloog and not with the legacy cloog-ppl.