Changes in default.cat.do and distclean.do