fix for src/unicode-inl.h