Once again, be careful at those mirror sites. Sometimes they don't delete
old files.

To make problems a little easier to spot, I made sure all the files were
given the same timestamp with this release.

- Pat