Hi Frank. As you've noticed I'm chasing old bugs. These bugs describes that tetex-bin installs files into the wrong place. As tetex-bin is gone I simply suggest to close them. What do you think? Hilmar -- The clash of ideas is the sound of freedom. http://www.hilmar-preusse.de.vu/