Switch to xz-compressed sources