add -F ALLFLAGS= option