diff --git a/infer/src/backend/InferAnalyze.re b/infer/src/backend/InferAnalyze.re
index fb0792433..7f695ea6b 100644
--- a/infer/src/backend/InferAnalyze.re
+++ b/infer/src/backend/InferAnalyze.re
@@ -93,6 +93,7 @@ let print_stdout_legend () => {
 };
 
 let main makefile => {
+  BuiltinDefn.init ();
   switch Config.modified_targets {
   | Some file => MergeCapture.modified_file file
   | None => ()
diff --git a/infer/src/backend/InferAnalyzeExe.re b/infer/src/backend/InferAnalyzeExe.re
index 4589c7414..826acca4b 100644
--- a/infer/src/backend/InferAnalyzeExe.re
+++ b/infer/src/backend/InferAnalyzeExe.re
@@ -43,7 +43,6 @@ let () = {
     Config.print_usage_exit ()
   };
   register_perf_stats_report ();
-  BuiltinDefn.init ();
   if Config.developer_mode {
     Printexc.record_backtrace true
   };