diff --git a/nix/default.nix b/nix/default.nix
index 9ca0675830136d3057ea9f865c30400e3afd6205..5e3ef8515c6787f4bdc4b2df9b799ea6bad3990f 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -74,8 +74,12 @@ rec {
   lint = mk_deriv {
         name = "frama-c-lint";
         inherit src;
-        buildInputs = (mk_buildInputs { opamPackages = [ { name = "ocp-indent"; constraint = "=1.7.0"; } ];} )
-                      ++ [ pkgs.bc plugins.headache.installed ];
+        buildInputs =
+          (mk_buildInputs {
+            opamPackages = [
+              { name = "ocp-indent"; constraint = "=1.7.0"; }
+              { name = "headache"; constraint = "=1.05"; }
+            ];} );
         outputs = [ "out" ];
         postPatch = ''
                patchShebangs .
@@ -120,7 +124,11 @@ rec {
   build-distrib-tarball = mk_deriv {
         name = "frama-c-build-distrib-tarball";
         inherit src;
-        buildInputs = buildInputs ++ [ plugins.headache.installed ];
+        buildInputs =
+          (mk_buildInputs {
+            opamPackages = [
+              { name = "headache"; constraint = "=1.05"; }
+            ];} );
         outputs = [ "out" ];
         postPatch = ''
                patchShebangs .