let silent_tex_to_ps (filename:string) (tmpdir:string) = 
  let latex_command = Printf.sprintf 
    "latex -output-directory=tmp -interaction=batchmode %s/%s.tex 2&> /dev/null" 
    tmpdir filename in 
  let dvips_command = Printf.sprintf
    "dvips %s/%s.dvi -o %s/%s.ps -q" tmpdir filename tmpdir filename in
  ignore(Sys.command latex_command);
  ignore(Sys.command dvips_command)