Update SHA3.h