isl 0.13, cloog & libffi --HEAD option