no need for texput.log