fixed JSONWriter to produce plain-vanilla gzip files