patches to tex-9
undo debug mode for tex 9