workaround for gcc4.4 std::to_string bug