fix for issue 683: Decks list not sorted correctly when running in linux.
Merge main repo.