GzDecoder "invalid gzip header" ?

[gwbres]

trafficstars

Hello,

so I'm working on this crate to parse RINEX files, which most of the time come gzip compressed. For information, decompression is encapsulated in src/reader.rs for hidden/transparent operations.

Things work correctly, until today where we introduced two new test files

• test_resources/OBS/V3/MOJN00DNK_R_20201770000_01D_30S_MO.crx.gz
• and test_resources/OBS/V3/ESBC00DNK_R_20201770000_01D_30S_MO.crx.gz

although they appear as correct gzip files, we're getting an invalid gzip header error :

# this is a gzip file
zcat ESBC00DNK_R_20201770000_01D_30S_MO.crx.gz | head -n 1
3.0                 COMPACT RINEX FORMAT                    CRINEX VERS   / TYPE

# it is not a bzip file
bzip2 -d ESBC00DNK_R_20201770000_01D_30S_MO.crx.gz 
bzip2: ESBC00DNK_R_20201770000_01D_30S_MO.crx.gz is not a bzip2 file.

# neither zlib
zlib-flate -uncompress < MOJN00DNK_R_20201770000_01D_30S_MO.crx.gz > test.crx
flate: inflate: data: incorrect header check

invalid gzip header error

any ideas ?