Update ntru_crypto_sha256.h