diff --git a/collects/tests/mzscheme/benchmarks/mz/redsem.scm b/collects/tests/mzscheme/benchmarks/mz/redsem.scm
index fe7c068576..2f282c2416 100644
--- a/collects/tests/mzscheme/benchmarks/mz/redsem.scm
+++ b/collects/tests/mzscheme/benchmarks/mz/redsem.scm
@@ -12,9 +12,9 @@ Robby
 
 |#
 
-(require (planet "reduction-semantics.ss" ("robby" "redex.plt" 2 4)))
-(set-cache-size! #f)
-(require (planet "beginner.ss" ("robby" "redex.plt" 2 4) "examples"))
+(require redex/reduction-semantics)
+(caching-enabled? #f)
+(require redex/examples/beginner)
 (collect-garbage)
 (printf "Now\n")
 (time (begin (run-tests) (run-tests) (run-tests)))