x86_64: libppl.so.14 libppl_c.so.4
