fix cvs2darcs: DF still has cvs in base