Manpages of ptex2tex in Debian stretch