K 10 svn:author V 5 gabor K 8 svn:date V 27 2012-10-13T18:40:39.005016Z K 7 svn:log V 45 - Remove GNU sort and the WITH_GNU_SORT knob END