Update version number for Eigen.