fix dependency of Eigen