fix sha3 test vector