$pdf_mode = 1;
$pdflatex = 'pdflatex --shell-escape';
$clean_ext = '%R_contourtmp0.dat %R_contourtmp0.table %R_contourtmp0.script indent.log thm %R.bak*';