fix a widechar issue in makedoc.pl