Improved instructions for Eigen

May help if there are build problems.