extflag = "binos";