does this need a flags file that enables delambdafy?