fixed tex to use pdftex instead of dvipdfm