s/WIZARD_HACK/#define NTL_OLD_ZZ_pX_MUL/