replace the python sort with a unix-sort wrapper, to make it more memory efficient on huge files