diff --git a/NT/tools/install b/NT/tools/install
index fbdfc25f0d98921276fd163329115d7a8310c98f..8dde0787dcb9b7cff75030133ecb0e3d717d55c7 100755
--- a/NT/tools/install
+++ b/NT/tools/install
@@ -8,6 +8,7 @@ int main(int argc, string *argv)
   {
     argv[0]="copy";
     if(argv[1]=="-c") argv=argv[..0]+argv[2..];
+    if(argv[1]=="-m") argv=argv[..0]+argv[3..];
     if(file_stat(argv[1]+".exe")) argv[1]+=".exe";
     exit(do_cmd( Array.map(argv,fixpath)));
   }else{