main: change F_Ast flag to F_AST for consistency