Update ntru_crypto_msbyte_uint32.h