sadly, gzip is impossible, since it is impossible to open a file for both reads and writes at the same time