$pdflatex = "pdflatex -file-line-error -interaction=nonstopmode -shell-escape -synctex=1 %O %S";
$clean_ext = "bbl synctex.gz thm auxlock nav snm";
