Add missing file to DISTCLEAN target.