circumventing the missing std::to_string on Windows