diff --git a/bin/install.pike b/bin/install.pike
index 1a85a6fbe6dddf71c9eaf988a62a69a66e0b76fb..295d2372af1eba74cc76dbf52d2ae9bf2399d5fe 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -241,6 +241,7 @@ int main(int argc, string *argv)
 //    dumpmodules(combine_path(getenv("lib_prefix"),"modules"));
   if(sizeof(to_dump))
   {
+    foreach(to_dump, string mod) rm(mod+".o");
     Process.create_process( ({pike,combine_path(getenv("SRCDIR"),"dumpmodule.pike")}) + to_dump)->wait();
   }