make output (sort order) more deterministic when using UUIDs