gawk: rebuild to drop compressed manpages.