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