42sh : simplify WFLAGS management