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