x86_64: libpapi.so.7.1 libsde.so
