Switch to texlive for our default TEX implementation