How to install texinfo on Debian 9 (Stretch)