diff --git a/src/FStarCompiler.fst.config.json b/src/FStarCompiler.fst.config.json
index 029fe16c03e..fc0a12ab1f9 100644
--- a/src/FStarCompiler.fst.config.json
+++ b/src/FStarCompiler.fst.config.json
@@ -6,9 +6,10 @@
     "--lax",
     "--cache_dir", "../stage1/fstarc.checked",
     "--warn_error",
-    "-271-272-241-319-274"
+    "-271-272-241-319-274",
+    "--no_default_includes"
   ],
   "include_dirs": [
-    "."
+    ".", "../ulib"
   ]
 }