Packaging fixups for the release.