/usr/lib64/libppl_c.a