Use xz instead of gzip for better compression