Update external_sort.hpp