(This file public domain.) xz source from: https://xz.tukaani.org