Regenerate headers after !436
7 files changed