diff --git a/pkgs/development/coq-modules/hierarchy-builder/default.nix b/pkgs/development/coq-modules/hierarchy-builder/default.nix
index aee4d65b7cfa..944ce621a08d 100644
--- a/pkgs/development/coq-modules/hierarchy-builder/default.nix
+++ b/pkgs/development/coq-modules/hierarchy-builder/default.nix
@@ -29,8 +29,6 @@ let hb = mkCoqDerivation {
 
   mlPlugin = true;
 
-  extraInstallFlags = [ "VFILES=structures.v" ];
-
   meta = with lib; {
     description = "High level commands to declare a hierarchy based on packed classes";
     maintainers = with maintainers; [ cohencyril siraben ];
@@ -41,6 +39,8 @@ hb.overrideAttrs (o:
   lib.optionalAttrs (lib.versions.isGe "1.2.0" o.version || o.version == "dev")
     { buildPhase = "make build"; }
   //
-  lib.optionalAttrs (lib.versions.isGe "1.1.0" o.version || o.version == "dev")
-  { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; }
+  (if lib.versions.isGe "1.1.0" o.version || o.version == "dev" then
+   { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; }
+   else
+   { installFlags = [ "VFILES=structures.v" ] ++ o.installFlags; })
 )