diff --git a/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt b/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt
index d2c6090b92..988b00e63d 100644
--- a/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/private/teach-shared.rkt
@@ -20,4 +20,4 @@
     (with-syntax ([undefined undefined-expr])
       ;; Include the implementation.
       ;; See private/shared-body.rkt.
-      (include (lib "racket/private/shared-body.rkt")))))
+      (include (lib "racket/private/shared-body.rktl")))))
diff --git a/racket/lib/collects/racket/private/info.rkt b/racket/lib/collects/racket/private/info.rkt
deleted file mode 100644
index 50404dc519..0000000000
--- a/racket/lib/collects/racket/private/info.rkt
+++ /dev/null
@@ -1,3 +0,0 @@
-#lang info
-
-(define compile-omit-paths '("shared-body.rkt"))
diff --git a/racket/lib/collects/racket/private/shared-body.rkt b/racket/lib/collects/racket/private/shared-body.rktl
similarity index 100%
rename from racket/lib/collects/racket/private/shared-body.rkt
rename to racket/lib/collects/racket/private/shared-body.rktl
diff --git a/racket/lib/collects/racket/shared.rkt b/racket/lib/collects/racket/shared.rkt
index f6af9d4aae..ca37e8160e 100644
--- a/racket/lib/collects/racket/shared.rkt
+++ b/racket/lib/collects/racket/shared.rkt
@@ -17,5 +17,5 @@
   (lambda (stx)
     (define make-check-cdr #f)
     ;; Include the implementation.
-    ;; See private/shared-body.rkt.
-    (include "private/shared-body.rkt")))
+    ;; See private/shared-body.rktl.
+    (include "private/shared-body.rktl")))