Avoiding double inclusion of enable_foreign_asts