diff --git a/collects/lang/r5rs.ss b/collects/lang/r5rs.ss
new file mode 100644
index 0000000000..cc186eb7d4
--- /dev/null
+++ b/collects/lang/r5rs.ss
@@ -0,0 +1,6 @@
+;; This module provides R5RS Scheme, which is defined in "r5rs/r5rs.ss".
+;; This file is here only as a stub for backward compatibility; use
+;;   (lib "r5rs.ss" "r5rs")
+;; instead.
+(module r5rs (lib "r5rs.ss" "r5rs")
+  (#%provide (all-from (lib "r5rs.ss" "r5rs"))))