Get your own copy of Eigen!