libc.so.6 libmpc.so.2 libmpfr.so.4 libgmp.so.10 libdl.so.2 libz.so.1 libcloog-isl.so.3 libppl_c.so.4