Cleanups in read_compressed_file