src/gnu/lib/libstdc++/config
