Make source order stable to avoid non-changes in git