3dc4f594a38a6c8edab70989a7b53157774e4922  tetex.csh