/gcc-4.7/libstdc++-v3/