Do we need this here? I don't see any fixed-size vectorizable Eigen objects in this file.