diff --git a/dune b/dune
index 10fc7ac73bcddb9170e3f5a0aba3b8b6c40dafb9..2445c1bc024344538160ff6a5849c872a975c351 100644
--- a/dune
+++ b/dune
@@ -5,8 +5,19 @@
  (section (site (lustrec include_)))
  (files
    include/conv.c
+   include/conv.lusi
+   include/conv.lusic
    include/mpfr_lustre.c
+   include/mpfr_lustre.lusi
+   include/mpfr_lustre.lusic
+   include/mpfr_lustre.h
    include/simulink_math_fcn.c
+   include/simulink_math_fcn.lusi
+   include/simulink_math_fcn.lusic
+   include/simulink_math_fcn.h
+   include/lustrec_math.lusi
+   include/lustrec_math.lusic
+   include/lustrec_math.h
    include/arrow.c
    include/arrow.h
    include/arrow.cpp
@@ -15,14 +26,6 @@
    include/io_frontend.h
    include/io_frontend.hpp
    include/lustrec_math.smt2
-   include/mpfr_lustre.lusi
-   include/mpfr_lustre.lusic
-   include/simulink_math_fcn.lusi
-   include/simulink_math_fcn.lusic
-   include/conv.lusi
-   include/conv.lusic
-   include/lustrec_math.lusi
-   include/lustrec_math.lusic
    include/StdIn.java))
 
 (install
diff --git a/include/dune b/include/dune
index 3bdc5731ccbb651edb8c49320e0600d0d0f6b1f0..b42cbe99b4799886c723bbbd7ba2d5d0e64c92b3 100644
--- a/include/dune
+++ b/include/dune
@@ -8,16 +8,16 @@
  (alias install))
 
 (rule
- (target simulink_math_fcn.lusic)
+ (targets simulink_math_fcn.lusic simulink_math_fcn.h)
  (action (run lustrec -verbose 0 -I . -d . %{dep:simulink_math_fcn.lusi}))
  (alias install))
 
 (rule
- (target lustrec_math.lusic)
+ (targets lustrec_math.lusic lustrec_math.h)
  (action (run lustrec -verbose 0 -I . -d . %{dep:lustrec_math.lusi}))
  (alias install))
 
 (rule
- (target mpfr_lustre.lusic)
+ (targets mpfr_lustre.lusic mpfr_lustre.h)
  (action (run lustrec -verbose 0 -mpfr 1 -d . %{dep:mpfr_lustre.lusi}))
  (alias install))