Added Eigen library