diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix
index 3879ee8ef47..52c839130bb 100644
--- a/pkgs/applications/science/logic/boolector/default.nix
+++ b/pkgs/applications/science/logic/boolector/default.nix
@@ -23,11 +23,9 @@ let
   license = with stdenv.lib.licenses; if useV16 then unfreeRedistributable else gpl3;
 in
 stdenv.mkDerivation (boolectorPkg // {
-  buildInputs = [ zlib ];
+  buildInputs = [ zlib stdenv.glibc.static zlib.static ];
   enableParallelBuilding = false;
 
-  buildPhase = "./build.sh";
-
   installPhase = ''
     mkdir -p $out/bin $out/lib $out/include
     cp boolector/boolector      $out/bin