extflag = "man";