fix manpage generation inc. debian packaging