Try to fix the build with libstdc++ 4.4.