Use NTL in LinBox