Let 7-zip extract .xz files too