Add missing files (header and .txt) for release.