diff --git a/collects/compiler/commands/c-ext.rkt b/collects/compiler/commands/ctool.rkt
similarity index 100%
rename from collects/compiler/commands/c-ext.rkt
rename to collects/compiler/commands/ctool.rkt
diff --git a/collects/compiler/commands/info.rkt b/collects/compiler/commands/info.rkt
index 732470021c..9a3106d696 100644
--- a/collects/compiler/commands/info.rkt
+++ b/collects/compiler/commands/info.rkt
@@ -7,4 +7,4 @@
     ("decompile" compiler/commands/decompile "decompile bytecode" #f)
     ("expand" compiler/commands/expand "macro-expand source" #f)
     ("distribute" compiler/commands/exe-dir "prepare executable(s) in a directory for distribution" #f)
-    ("c-ext" compiler/commands/c-ext "compile and link C-based extensions" #f)))
+    ("ctool" compiler/commands/ctool "compile and link C-based extensions" #f)))