try to use libstdc++3