diff --git a/pkgs/applications/science/logic/surelog/default.nix b/pkgs/applications/science/logic/surelog/default.nix
index c1dc98351d17..fae27d33e937 100644
--- a/pkgs/applications/science/logic/surelog/default.nix
+++ b/pkgs/applications/science/logic/surelog/default.nix
@@ -47,6 +47,7 @@ stdenv.mkDerivation rec {
   postInstall = ''
     mv $out/lib/surelog/* $out/lib/
     rm -rf $out/lib/surelog
+    rm -rf $out/lib/pkg
   '';
 
   meta = {