use CLooG v0.18.1 with GCC v4.8.2