This is to get a deterministic dump order independent of the order in
which the user mappings were created.