libppl_c.so.4 libc.so.6 libgmp.so.10 libppl.so.9 libgmpxx.so.4