fix problems with usfmTex.sty