Fix missing header in minmax_element.