diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib
index ed4123a71fc5b3e767074da04caff2bdfe4c7faa..2c8d117b14070aff4590e97e83a6f1d27c323496 100644
--- a/ivette/Makefile.distrib
+++ b/ivette/Makefile.distrib
@@ -154,9 +154,12 @@ DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/Globals.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/History.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/Locations.tsx
+DISTRIB_FILES += ivette/src/frama-c/kernel/Messages.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/Properties.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.tsx
+DISTRIB_FILES += ivette/src/frama-c/kernel/Status.tsx
 DISTRIB_FILES += ivette/src/frama-c/kernel/style.css
+DISTRIB_FILES += ivette/src/frama-c/menu.ts
 DISTRIB_FILES += ivette/src/frama-c/pkg.json
 DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js
 DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx
@@ -183,6 +186,7 @@ DISTRIB_FILES += ivette/src/frama-c/states.ts
 DISTRIB_FILES += ivette/src/frama-c/utils.ts
 DISTRIB_FILES += ivette/src/ivette/index.tsx
 DISTRIB_FILES += ivette/src/ivette/prefs.tsx
+DISTRIB_FILES += ivette/src/ivette/sandbox.tsx
 DISTRIB_FILES += ivette/src/main/index.js
 DISTRIB_FILES += ivette/src/renderer/Application.tsx
 DISTRIB_FILES += ivette/src/renderer/Controller.tsx
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index b0b1dd8d027d889828b989d4de0291e1b61d9c6a..a4957b30b8705b8b0e47fe00d3a8fcd64fda417b 100644
--- a/ivette/headers/header_spec.txt
+++ b/ivette/headers/header_spec.txt
@@ -154,9 +154,12 @@ src/frama-c/kernel/ASTview.tsx: CEA_LGPL
 src/frama-c/kernel/Globals.tsx: CEA_LGPL
 src/frama-c/kernel/History.tsx: CEA_LGPL
 src/frama-c/kernel/Locations.tsx: CEA_LGPL
+src/frama-c/kernel/Messages.tsx: CEA_LGPL
 src/frama-c/kernel/Properties.tsx: CEA_LGPL
 src/frama-c/kernel/SourceCode.tsx: CEA_LGPL
+src/frama-c/kernel/Status.tsx: CEA_LGPL
 src/frama-c/kernel/style.css: .ignore
+src/frama-c/menu.ts: CEA_LGPL
 src/frama-c/pkg.json: .ignore
 src/frama-c/plugins/dive/cytoscape_libs.js: CEA_LGPL
 src/frama-c/plugins/dive/index.tsx: CEA_LGPL
@@ -183,6 +186,7 @@ src/frama-c/states.ts: CEA_LGPL
 src/frama-c/utils.ts: CEA_LGPL
 src/ivette/index.tsx: CEA_LGPL
 src/ivette/prefs.tsx: CEA_LGPL
+src/ivette/sandbox.tsx: CEA_LGPL
 src/main/index.js: CEA_LGPL
 src/renderer/Application.tsx: CEA_LGPL
 src/renderer/Controller.tsx: CEA_LGPL