Vendorize Eigen.