[libstdc++] Rename standard headers

[Gabriel Dos Reis]

Phil Edwards <pedwards@dmapub.dma.org> writes:

| Yes, Benjamin's patch is clearly correct.  In my install tree, I have
| both the correct <vector> and the mistakenly installed <std_vector.h>.
| Since <vector> is there, all my testing succeeded, and it shouldn't've.
| 
| Clearly something is very wrong. 

Wasn't that caused by previously installed GCC?

Just a guess.

-- Gaby
CodeSourcery, LLC                       http://www.codesourcery.com