Use a char* instead of a std::string for the std::ofstream constructor