GCC 4.6 compatibility: no std::string::pop_back().