Fix bug in fq*_ctx_init_modulus