x86_64: SHA3.so
