Regenerated all headers after the last few commits. They dropped the total header size by 650kb.