/usr/lib64/libppl.a