Best practice is to use CLEANFILES to clean stuff built by make, and
DISTCLEANFILES only for stuff built by configure. Everyone has to run
make and it's very unexpected for 'make clean' to not clean things it
builds.