bug#58535: Build failure on old GNU/Linux system

[Eli Zaretskii]

> Cc: 58535@debbugs.gnu.org
> Date: Sat, 15 Oct 2022 12:01:37 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> 
> On 2022-10-15 04:24, Po Lu wrote:
> > Right, that seems to have fixed the problem.  I'm closing this bug then,
> > sorry for the noise.
> 
> No problem. On the contrary I vaguely recall running into this hassle 
> too, and I should have fixed it then. I installed the attached.

I think we decided not to remove the cache as part of a bootstrap,
since doing that slows down bisecting and clean builds in general,
when the configuration and the platform didn't change.