/usr/lib64/libppl_c.so.4 /usr/lib64/libppl_c.so.4.0.0