Fix 32-bit read_compressed