---> question: do we change the prefix eigen2/ to eigen3/ now? no, better wait until we've also changed the repository name * more message improvements: "Install Eigen" was unclear as it left out other things like the BLAS library