workaround for to_string undefined