diff --git a/Makefile b/Makefile
index 94bfa0d32a6bfae0a19ef60c26a31fd1aa5e866b..5d51fd0d81a053bf22fff6c62c7071d0c83a2a08 100644
--- a/Makefile
+++ b/Makefile
@@ -256,6 +256,7 @@ DISTRIB_FILES:=\
       share/analysis-scripts/concat-csv.sh                              \
       share/analysis-scripts/clone.sh                                   \
       $(wildcard share/analysis-scripts/examples/*)                     \
+      share/analysis-scripts/fc_stubs.c                                 \
       share/analysis-scripts/find_fun.py                                \
       share/analysis-scripts/flamegraph.pl                              \
       share/analysis-scripts/frama-c.mk                                 \
@@ -1910,6 +1911,7 @@ install:: install-lib
 	  share/analysis-scripts/cmd-dep.sh \
 	  share/analysis-scripts/concat-csv.sh \
 	  share/analysis-scripts/clone.sh \
+	  share/analysis-scripts/fc_stubs.c \
 	  share/analysis-scripts/find_fun.py \
 	  share/analysis-scripts/flamegraph.pl \
 	  share/analysis-scripts/frama-c.mk \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 52cb9fa3d6b427f8d8d608cb230b39e6c589eb9e..7a59f56fa0af6966a004d87d2a7ee43768bc23cb 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -115,6 +115,7 @@ ptests/ptests.ml: CEA_LGPL
 share/_frama-c: CEA_LGPL
 share/analysis-scripts/benchmark_database.py: .ignore
 share/analysis-scripts/clone.sh: .ignore
+share/analysis-scripts/fc_stubs.c: .ignore
 share/analysis-scripts/frama-c.mk: CEA_LGPL
 share/analysis-scripts/frama_c_results.py: .ignore
 share/analysis-scripts/cmd-dep.sh: .ignore