Restoring lost files.

The release process needs a tweak.