Fix compile error with libstdc++.