use local Eigen.