note removal of TeX from /etc/path.d/