$pdf_mode = 4;
$clean_ext = "%R-*.glstex %R_contourtmp*.* pdfsync synctex.gz";