fix texify command for TeXlive distributions