CRC errors reported from compressed file

import std;

w1 := RECORD
                INTEGER c;
                STRING50 w := 'test';
END;
onerec := DATASET([{1}], w1);

w1 expr(w1 lr, INTEGER c) := TRANSFORM
                SELF.C := C;
                SELF.w := 'test_' + (STRING)C;
end;

recCnt := 100;
MANYREC := distribute(NORMALIZE(onerec, recCnt, expr(LEFT, COUNTER)));
OUTPUT(manyrec,,'~aymen::test::small_file_not_compressed',OVERWRITE);
OUTPUT(manyrec,,'~aymen::test::small_file_compressed', COMPRESSED, OVERWRITE);
Std.File.VerifyFile('~aymen::test::small_file_not_compressed',true);
Std.File.VerifyFile('~aymen::test::small_file_compressed', true);