diff --git a/Makefile b/Makefile
index f580c4984d3ab630167f0e7df741d4ccaaec3138..28451af1bde84efb01405623c879d8b6e484c148 100644
--- a/Makefile
+++ b/Makefile
@@ -826,7 +826,7 @@ PLUGIN_EXTRA_DIRS:=engine values domains api domains/cvalue domains/apron \
 	api values/numerors domains/numerors
 PLUGIN_TESTS_DIRS+=value/traces
 PLUGIN_GENERATED:=$(PLUGIN_DIR)/Eva.mli
-PLUGIN_DISTRIB_EXTERNAL+=$(PLUGIN_DIR)/eva-api.sh
+PLUGIN_DISTRIB_EXTERNAL+=gen-api.sh
 
 # Files for the binding to Apron domains. Only available if Apron is available.
 ifeq ($(HAS_APRON),yes)
@@ -936,7 +936,7 @@ API_MLI := $(addprefix $(PLUGIN_DIR)/, \
   legacy/eval_terms.mli utils/unit_tests.mli utils/eva_annotations.mli \
   eval.mli domains/cvalue/builtins.mli)
 
-$(PLUGIN_DIR)/Eva.mli: $(PLUGIN_DIR)/eva-api.sh Makefile $(API_HEADER) $(API_MLI)
+$(PLUGIN_DIR)/Eva.mli: $(PLUGIN_DIR)/gen-api.sh Makefile $(API_HEADER) $(API_MLI)
 	$(PRINT_MAKING) $@
 	$(RM) $@ $@.tmp
 	$< $(API_HEADER) $(API_MLI) > $@.tmp
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 77930d29becf4ade8e50058e0dd559ce3f8bf883..851b5ea6c501d1c94e0741beed7d7c86e9624e9e 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1428,6 +1428,7 @@ src/plugins/value/engine/transfer_stmt.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/transfer_stmt.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/eval.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/eval.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/gen-api.sh: .ignore
 src/plugins/value/gui_files/gui_callstacks_filters.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/gui_files/gui_callstacks_filters.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/gui_files/gui_callstacks_manager.ml: CEA_LGPL_OR_PROPRIETARY
diff --git a/src/plugins/value/eva-api.sh b/src/plugins/value/gen-api.sh
similarity index 100%
rename from src/plugins/value/eva-api.sh
rename to src/plugins/value/gen-api.sh