Avoid std::to_string, which is not available in MinGW-G++ 4.8.1