diff --git a/Makefile b/Makefile
index 7a62602f3aef3a28b0419d968f24f9bf2d31f629..ab760d6563c62eebd7d2d63cf327556092ea8913 100644
--- a/Makefile
+++ b/Makefile
@@ -81,7 +81,7 @@ include ivette/Makefile.installation
 ################################
 
 # HDRCK is internal
-FRAMAC_HDRCK:=headers/hdrck.exe
+FRAMAC_HDRCK:=tools/hdrck/hdrck.exe
 
 # Part that can be shared for external plugins
 include share/Makefile.headers
diff --git a/tools/hdrck/dune-project b/tools/hdrck/dune-project
index c96c6067e4897c2cefb0a05d9d8219bca7602eb9..a7877e55264bccb1fe5bc7d216b0395c59971b38 100644
--- a/tools/hdrck/dune-project
+++ b/tools/hdrck/dune-project
@@ -22,5 +22,5 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (package
-  (name frama-c-hdchk)
+  (name frama-c-hdrck)
 )