Fix build with sha3