extflag = "bib12";