$out_dir = 'build';
$pdf_mode = 1;

$aux_dir = 'build';
$out2_dir = '.';
