recompressed with xz -e -9 -T0 for parallel decomp
