Rewrite a cold use of std::sort to array_pod_sort.

No functionality change.