Fixed compilation issues related to libstdc++.