diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 4d92135e2a622f89a286a736cfb0d0dded6924e9..676c7dbcf56e4c289c1ed465dc7d0b46cebce977 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -478,8 +478,8 @@ let parse_cabs = function
       else []
     in
     let extra_args =
-      if include_args = [] && define_args = [] then []
-      else add_if_gnu "-nostdinc"
+      if Kernel.FramaCStdLib.get() then add_if_gnu "-nostdinc"
+      else []
     in
     let define_args = "__FRAMAC__" :: define_args in
     (* Hypothesis: the preprocessor does support the arch-related