Updated C++ library Eigen