Moved Eigen library