x86_64: libdavix.so.0 libdavix_copy.so.0
