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