5017bf5f92
Reduces compile time on a 4-core ARM Rpi5 from 1m12s wallclock (i.e: "real") time to 0m55s; and from 4m+ "user" time to 3m8s.