Reinstate isl
Reinstate cloog
Statically-link isl and cloog