[tor-commits] [tor/master] rectify_include_paths: warn instead of aborting on duplicate headers