Add #include for std::min() (different file)