Fix include file for std::{max,min}