Use array_pod_sort instead of std::sort

Per Rafael's review of r194514.