diff --git a/distros/distro-overlay.nix b/distros/distro-overlay.nix
index cf81c33c67..11216790b2 100644
--- a/distros/distro-overlay.nix
+++ b/distros/distro-overlay.nix
@@ -68,7 +68,7 @@ let
       cmakeFlags ? [], preConfigure ? "", ...
     }: {
       # Tries to download something with maven
-      cmakeFlags = [ "-DBUILD_IDLC=OFF" ];
+      cmakeFlags = cmakeFlags ++ [ "-DBUILD_IDLC=OFF" ];
 
       # Fix running ddsconf from within the build directory (probably an RPATH
       # issue)