Update ntru_crypto_ntru_mgf1.h