Fix link to GCC FAQ about libstdc++