src/gnu/dist/gcc/libstdc++-v3/config/os
