Como instalar ptex-jtex no Debian 9 (Stretch)