Fix `make distclean` for `./configure --with-config=user