It is removed by C++17. It only defines some typedef members for derived functionals. We don't use those, so just drop it.
