(cherry picked from commit 2c692a3b14)
2c692a3b14
It's now regenerated when util.hh changes, and is ordered after config.h to fix a race.
This cuts 'make install -j6' on my laptop from 170s to 134s.