diff --git a/collects/meta/props b/collects/meta/props
index 79ad5c6062..9ffa1b97bf 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1625,21 +1625,41 @@ path/s is either such a string or a list of them.
 "collects/tests/racket/benchmarks/shootout/typed/random-non-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/random-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/random.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/recursive-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/recursive-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/recursive.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/regexmatch.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/regexpdna.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/reversecomplement.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/reversefile.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/sieve.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spectralnorm-generic-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spectralnorm-generic-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/spectralnorm-generic.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spectralnorm-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spectralnorm-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spectralnorm-unsafe-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spectralnorm-unsafe-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/spectralnorm-unsafe.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/spectralnorm.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spellcheck-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/spellcheck-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/spellcheck.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/strcat-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/strcat-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/strcat.rktl" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/sumcol.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/thread-ring-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/thread-ring-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/thread-ring.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/wc-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/wc-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/wc.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/wordfreq-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/wordfreq-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/benchmarks/shootout/typed/wordfreq.rktl" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/wrap-typed-non-optimizing.rkt" drdr:command-line #f
+"collects/tests/racket/benchmarks/shootout/typed/wrap-typed-optimizing.rkt" drdr:command-line #f
 "collects/tests/racket/binc.rktl" drdr:command-line #f
 "collects/tests/racket/boundmap-test.rktl" drdr:command-line (racket "-f" *)
 "collects/tests/racket/cache-image-snip-test.rktl" drdr:command-line (gracket "-f" *)