extflag = "rudinn6";