diff --git a/bin/install.pike b/bin/install.pike
index ec5be25bcb5f90169033e18cc23d4715da25e15d..a346eb1776ff0cfaf964bb432b2fc78c56f7ab6d 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -546,13 +546,16 @@ This is free software and you are welcome to redistribute it under
 certain conditions; Read the files COPYING and DISCLAIMER in the
 Pike distribution for more details.
 \";
+		  rm -f "+tmpname+#".x
                   exit 0 ;;
 
               -h|\\
           --help) echo \"" + helptext + #"\"
+		  rm -f "+tmpname+#".x
                   exit 0 ;;
 
       --features) echo \"" + Tools.Install.features()*"\n" + #"\"
+		  rm -f "+tmpname+#".x
                   exit 0 ;;
 
               -s|\\