So maintainers: what's up with that? Either cloog should depend on the isl
port and not install the isl files itself, or cloog should install the isl
files itself, and not depend on isl, and the two ports should declare that
they conflict with one another. What's it to be?