/gnu/dist/libstdc++/config/