It seems GitHub is sometimes returning an empty file - the script needs to account for that and currently doesn’t.
Run the update again and it will probably work.