External merge sort: performance improvement.
External merge sort: improvements.