linking problem with libstdc++