usr/local/bin/cloog usr/local/lib/libcloog-isl.so.4.0.0 usr/local/lib/libcloog-isl.so usr/local/lib/libcloog-isl.so.4