removed from CVS, generated automatically