Check in auto-generated headers for ease of building.