try to use libstdc++4