gzipping manpage because RPM is very strict about this