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