20250122

Only trivial changes compared with 20241112:

• minor reversion to avoid 32-bit test eror
• rename one variable to avoid clang complaint
• explicitly include gmp.h before flint.h.