libppl.so.9
libgmpxx.so.4
libgmp.so.10
libstdc++.so.6
libgcc_s.so.1
libc.so.6