Add a few files to DISTCLEAN which were missing.