import settings;
settings.outformat = "pdf";
//settings.tex = "pdflatex";