bug fix in dup_zz_zassenhaus for issue 8037