How to remove texinfo from Debian 9 (Stretch)