Really remove TeX Live...