diff --git a/pkgs/development/compilers/strategoxt/0.18.nix b/pkgs/development/compilers/strategoxt/0.18.nix
index 2cce7d32152..aad5e070ca9 100644
--- a/pkgs/development/compilers/strategoxt/0.18.nix
+++ b/pkgs/development/compilers/strategoxt/0.18.nix
@@ -9,6 +9,7 @@ rec {
   atermStatic = stdenvStatic.mkDerivation ( rec {
     name = "${aterm.name}-static";
     inherit (aterm) src meta patches; 
+    configureFlags = "--enable-static=yes"; 
   } // ( if stdenv.system == "i686-cygwin" then { inherit (sdf) CFLAGS; } else {} ) ) ;
 
 
@@ -16,6 +17,7 @@ rec {
     name = "${sdf.name}-static";
     inherit (sdf) src preConfigure meta; 
     buildInputs = [pkgconfig atermStatic];
+    configureFlags = "--enable-static=yes"; 
   } // ( if stdenv.system == "i686-cygwin" then { inherit (sdf) CFLAGS; } else {} ) ) ;
   
   sdf = stdenv.mkDerivation ( rec {