diff --git a/share/analysis-scripts/make_template.py b/share/analysis-scripts/make_template.py
index 94a6a8fe3ca393515bdaf624ea4ee6f4a10a9905..0ea20ab0682bd8ef853a13100aef6ab68cf70efe 100755
--- a/share/analysis-scripts/make_template.py
+++ b/share/analysis-scripts/make_template.py
@@ -178,6 +178,7 @@ with open(sharedir / "analysis-scripts" / "template.mk") as f:
         check_path_exists("fc_stubs.c")
         from shutil import copyfile
         copyfile(sharedir / "analysis-scripts" / "fc_stubs.c", "fc_stubs.c")
+        lines = insert_line_after(lines, "^FCFLAGS", "  -main eva_main \\\n")
         print("Created stub for main function: fc_stubs.c")
 
 gnumakefile.write_text("".join(lines))
diff --git a/tests/fc_script/oracle/GNUmakefile b/tests/fc_script/oracle/GNUmakefile
index 32e5f33f164497fed2b82f1f27117a01a2286360..c7f456e4db883cb2d9e1609c8a84a0e9767d0a2e 100644
--- a/tests/fc_script/oracle/GNUmakefile
+++ b/tests/fc_script/oracle/GNUmakefile
@@ -29,6 +29,7 @@ CPPFLAGS    +=
 
 # (Optional) Frama-C general flags (parsing and kernel)
 FCFLAGS     += \
+  -main eva_main \
   -machdep x86_64 \
   -json-compilation-database . \
   -kernel-warn-key annot:missing-spec=abort \