add missing header for std::function