fix compilation issues with std::string