diff --git a/bin/install.pike b/bin/install.pike
index cd93e60a999cc9eb413787c0aa32b1f2f33a7fcd..f99fbaffc3b8c6bf71722511cf91ed9b27d3eb72 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -224,10 +224,10 @@ int install_file(string from,
   {
     switch(ext)
     {
-      case ".pike":
+      case "pike":
 	if(glob("*/master.pike",to)) break;
 
-      case ".pmod":
+      case "pmod":
 	to_dump+=({to});
     }
   }