diff --git a/collects/tests/mred/media6.mre b/collects/tests/mred/media6.mre
index 16b752b0fb..5712a022a1 100644
Binary files a/collects/tests/mred/media6.mre and b/collects/tests/mred/media6.mre differ
diff --git a/collects/tests/mred/prog.mre b/collects/tests/mred/prog.mre
new file mode 100644
index 0000000000..e67250ddb8
Binary files /dev/null and b/collects/tests/mred/prog.mre differ