diff --git a/nix/k.nix b/nix/k.nix
index 2551f4208fc..a344af91787 100644
--- a/nix/k.nix
+++ b/nix/k.nix
@@ -57,6 +57,7 @@ let
         chmod +x $out/bin/k-which-python
 
         cp -r k-distribution/target/release/k/bin/* $out/bin-unwrapped/
+        cp -r k-distribution/target/release/k/lib/kframework/bin/* $out/bin-unwrapped/
         cp -r k-distribution/target/release/k/{include,lib} $out/
 
         mkdir -p $out/lib/cmake/kframework