We don't need to dial it up to 11 for the case where `make clean` runs
in a source tree coming from a release archive instead of a git clone.
Running `make distclean` should be enough to clear build artifacts that
may not be known by older branches before switching to them.