missig some cweb/tex generated files to clean.