gzip manpage so that bdist_rpm works again