Since std::to_string is now used in several other places, no need to comment it out anymore (it is still missing with gcc 4.8-2 on cygwin)