4. User runs make distclean. There are no Makefiles present in the sub-directories so the config.cache files are left intact. That seems like a bug, distclean should clean out everything not suitable for distribution, so config.cache files should definition not stay distclean.