Release preparations: add some files to the tarball that were previously missed