https://eigen.tuxfamily.org is down.
Use https://libeigen.gitlab.io/docs instead.