diff --git a/bin/export.pike b/bin/export.pike
index 24c5780b0f7baf3f69bb06fa420d4f84b7435dae..5482acd60b1542a4526e847b646f6f2dcfc8d6c6 100755
--- a/bin/export.pike
+++ b/bin/export.pike
@@ -1,6 +1,6 @@
 #!/usr/local/bin/pike
 
-/* $Id: export.pike,v 1.8 1997/10/14 03:08:46 hubbe Exp $ */
+/* $Id: export.pike,v 1.9 1997/10/22 02:37:42 hubbe Exp $ */
 
 #include <simulate.h>
 
@@ -22,6 +22,10 @@ string *get_files(string path)
     if(path==vpath+"/src/modules" && except_modules[tmp])
       continue;
 
+    if(search(path,vpath+"/lib/modules")==0 &&
+       (except_modules[tmp] || except_modules[tmp - ".pmod"]))
+      continue;
+
     tmp=path+"/"+tmp;
 
     if(file_size(tmp)==-2)