Update ntru_crypto_platform.h