diff --git a/src/tools/dune b/src/tools/dune
index 0be161421d..ab0dddd992 100644
--- a/src/tools/dune
+++ b/src/tools/dune
@@ -27,3 +27,7 @@
 (install
   (section bin)
   (files (eliomc.exe as js_of_eliom)))
+
+(install
+  (section bin)
+  (files (eliomc.exe as eliomopt)))