link texinput/arabtex.tex