$jobname = 'tcr-opt';
$pre_tex_code .= '\def\OPTIONAL{}'