Turns out there is a very fast sorter in linux...