Include Eigen3.