Fix manpage gzip command

As described in issue #140.