java.lang.String <> std::string conversion using platform’s charset