fixes in <zero/utf8.h>