replaced std::toString (for mingw compatibility)