GnomeSort: fix a bug in the correction
Kill deprecated FileSessionKit. When we need it, it will be faster to reimplement than fix it