How to remove tex4ht from Debian 9 (Stretch)