Minor improvements to "make clean"