diff --git a/collects/redex/tests/bitmap-test-util.ss b/collects/redex/tests/bitmap-test-util.ss
index a830bf76b7..393f50f3a8 100644
--- a/collects/redex/tests/bitmap-test-util.ss
+++ b/collects/redex/tests/bitmap-test-util.ss
@@ -27,9 +27,7 @@
   (set! tests (+ tests 1))
   (let* ([bitmap-filename 
           (build-path (format "bmps-~a" (system-type))
-                      (case (system-type)
-                        [(unix) (string-append "unix-" raw-bitmap-filename)]
-                        [else raw-bitmap-filename]))]
+                      raw-bitmap-filename)]
          [old-bitmap (if (file-exists? bitmap-filename)
                          (make-object bitmap% bitmap-filename)
                          (let* ([bm (make-object bitmap% 100 20)]
diff --git a/collects/redex/tests/bmps-unix/extended-language.png b/collects/redex/tests/bmps-unix/extended-language.png
new file mode 100644
index 0000000000..00fd289dd0
Binary files /dev/null and b/collects/redex/tests/bmps-unix/extended-language.png differ
diff --git a/collects/redex/tests/bmps-unix/extended-reduction-relation.png b/collects/redex/tests/bmps-unix/extended-reduction-relation.png
new file mode 100644
index 0000000000..4980d31457
Binary files /dev/null and b/collects/redex/tests/bmps-unix/extended-reduction-relation.png differ
diff --git a/collects/redex/tests/bmps-unix/language-nox.png b/collects/redex/tests/bmps-unix/language-nox.png
new file mode 100644
index 0000000000..0cf0d7d32f
Binary files /dev/null and b/collects/redex/tests/bmps-unix/language-nox.png differ
diff --git a/collects/redex/tests/bmps-unix/language.png b/collects/redex/tests/bmps-unix/language.png
new file mode 100644
index 0000000000..75241bf28e
Binary files /dev/null and b/collects/redex/tests/bmps-unix/language.png differ
diff --git a/collects/redex/tests/bmps-unix/lw.png b/collects/redex/tests/bmps-unix/lw.png
new file mode 100644
index 0000000000..173a4ed6d4
Binary files /dev/null and b/collects/redex/tests/bmps-unix/lw.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-Name-vertical.png b/collects/redex/tests/bmps-unix/metafunction-Name-vertical.png
new file mode 100644
index 0000000000..b64e4b5bfe
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction-Name-vertical.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-Name.png b/collects/redex/tests/bmps-unix/metafunction-Name.png
new file mode 100644
index 0000000000..0e4d877c44
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction-Name.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-T.png b/collects/redex/tests/bmps-unix/metafunction-T.png
new file mode 100644
index 0000000000..61fb1280ba
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction-T.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-TL.png b/collects/redex/tests/bmps-unix/metafunction-TL.png
new file mode 100644
index 0000000000..3b29ef9410
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction-TL.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-multi-arg.png b/collects/redex/tests/bmps-unix/metafunction-multi-arg.png
new file mode 100644
index 0000000000..70a4c28ad3
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction-multi-arg.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction-subst.png b/collects/redex/tests/bmps-unix/metafunction-subst.png
new file mode 100644
index 0000000000..c2e7a3c58a
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction-subst.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunction.png b/collects/redex/tests/bmps-unix/metafunction.png
new file mode 100644
index 0000000000..1e238ef271
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunction.png differ
diff --git a/collects/redex/tests/bmps-unix/metafunctions-multiple.png b/collects/redex/tests/bmps-unix/metafunctions-multiple.png
new file mode 100644
index 0000000000..fce8b05b04
Binary files /dev/null and b/collects/redex/tests/bmps-unix/metafunctions-multiple.png differ
diff --git a/collects/redex/tests/bmps-unix/red2.png b/collects/redex/tests/bmps-unix/red2.png
new file mode 100644
index 0000000000..585640772b
Binary files /dev/null and b/collects/redex/tests/bmps-unix/red2.png differ
diff --git a/collects/redex/tests/bmps-unix/reduction-relation.png b/collects/redex/tests/bmps-unix/reduction-relation.png
new file mode 100644
index 0000000000..ec11b4b4fd
Binary files /dev/null and b/collects/redex/tests/bmps-unix/reduction-relation.png differ
diff --git a/collects/redex/tests/bmps-unix/superscripts.png b/collects/redex/tests/bmps-unix/superscripts.png
new file mode 100644
index 0000000000..51887d799f
Binary files /dev/null and b/collects/redex/tests/bmps-unix/superscripts.png differ