(install): Use `gzip -9' instead of `gzip -best'.