Cómo instalar ptex-jtex en Debian 9 (Stretch)