Retune broken ecmul_gen