Further to my previous message: 

The problem is fixed by installing the Debian ptex-bin package.

Thank you

Gerry