How to remove texlive-binaries from Debian 9 (Stretch)