@KevinGrandon it occurs to me that this file is really a .tar.gz so the name is maybe misleading. Not that I really care either.