Set download directory for Eigen as well