diff --git a/collects/frtime/main.ss b/collects/frtime/main.ss
index 0a7004f5d5..53d7938252 100644
--- a/collects/frtime/main.ss
+++ b/collects/frtime/main.ss
@@ -1,2 +1,2 @@
-(module main "frtime.ss"
-  (provide (all-from "frtime.ss")))
+(module main "frtime-big.ss"
+  (provide (all-from "frtime-big.ss")))