Remove from CVS, as these files are generated automatically.