workaround for generating cross compiled man pages
workaround for segfaulting CVC_PUBKEY_print_ctx