diff --git a/d4-oxide/build.rs b/d4-oxide/build.rs
index eb01008..f1b6c8a 100644
--- a/d4-oxide/build.rs
+++ b/d4-oxide/build.rs
@@ -60,8 +60,10 @@ fn main() {
     println!("cargo::rustc-link-lib=static=cadical");
     println!("cargo::rustc-link-lib=static=cryptominisat5");
     println!("cargo::rustc-link-lib=static=glucose");
-    println!("cargo::rustc-link-lib=static=gmp");
-    println!("cargo::rustc-link-lib=static=gmpxx");
     println!("cargo::rustc-link-lib=static=gpmc");
     println!("cargo::rustc-link-lib=static=sbva");
+
+    // Link GMP dynamically for now as it is also needed for Mt-KaHyPar.
+    println!("cargo::rustc-link-lib=dylib=gmpxx");
+    println!("cargo::rustc-link-lib=dylib=gmp");
 }
diff --git a/flake.nix b/flake.nix
index 3532058..fc61cce 100644
--- a/flake.nix
+++ b/flake.nix
@@ -38,8 +38,8 @@
 
             buildInputs = [
               pkgs.boost.dev
+              pkgs.gmp.dev
               pkgs.pkgsStatic.mpfr.dev
-              pkgs.pkgsStatic.gmp.dev
               d4Pkgs.mt-kahypar.dev
             ];
           };