texlive-full is too big