fix: extgcd(x,x) fails with NTL: try without