oops, screwed up gzip encoding, taking it out for now