Use pigz or gzip if they are available.