It isn't included in the tar file, causing build failures. Since it's only used for GitHub, I think we don't need to store it in the tar file.