Change tarball extensions

As they're now compressed with xz rather than gzip