fix for TTElement::string() of uint32 on linux