/libstdc++/config/