diff --git a/collects/meta/props b/collects/meta/props
index 424f7cfabc..0a2ebb3e83 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1202,7 +1202,7 @@ path/s is either such a string or a list of them.
 "collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 180
 "collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/racket-machine/examples.rkt" drdr:command-line (gracket * "--no-pop-ups")
-"collects/redex/examples/racket-machine/impl-exec.rkt" drdr:command-line #f
+"collects/redex/examples/racket-machine/impl-exec.rkt" drdr:command-line (raco "make" *)
 "collects/redex/examples/racket-machine/randomized-tests.rkt" drdr:command-line (racket "-t" * "-m") drdr:timeout 300
 "collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)