Fix for libstdc++ 4.7