Re: [libsmi] Obtaining sources from CVS