travis: fix Eigen install script.