add a few auto-gen headers